Formal verification of machine-code programs

Bibliographic Details
Main Author:	Myreen, Magnus Oskar
Published:	University of Cambridge 2009
Subjects:	004
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.611450

Similar Items