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

id	ndltd-bl.uk-oai-ethos.bl.uk-611450
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-6114502015-11-03T04:10:15ZFormal verification of machine-code programsMyreen, Magnus Oskar2009004University of Cambridgehttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.611450Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	004
spellingShingle	004 Myreen, Magnus Oskar Formal verification of machine-code programs
author	Myreen, Magnus Oskar
author_facet	Myreen, Magnus Oskar
author_sort	Myreen, Magnus Oskar
title	Formal verification of machine-code programs
title_short	Formal verification of machine-code programs
title_full	Formal verification of machine-code programs
title_fullStr	Formal verification of machine-code programs
title_full_unstemmed	Formal verification of machine-code programs
title_sort	formal verification of machine-code programs
publisher	University of Cambridge
publishDate	2009
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.611450
work_keys_str_mv	AT myreenmagnusoskar formalverificationofmachinecodeprograms
_version_	1718121706193682432

Similar Items