Formal verification of machine-code programs /
Myreen, Magnus O.
University of Cambridge.Computer Laboratory.
Trinity College (University of Cambridge)
British Computer Society.
Council of Professors and Heads of Computing (Great Britain)
[Cambridge] : University of Cambridge, Computer Laboratory, Trinity College,
2008.
"December 2008."
"This dissertation is submitted for the degree of doctor of philosophy."
"Supported by BCS, CPHC"--P. [4] of cover.
Includes bibliographical references.
Computer software