Software tools to support formal methods

Bibliographic Details
Main Author:	McParland, Patrick J.
Published:	Queen's University Belfast 1989
Subjects:	005 Computer software & programming
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.292757

Similar Items