Object code verification
By: Matthew Wahab.
Publisher: typescript
Published: 1998
Place of publication: [s.l.]
Language: eng
Number of pages: 304
Notes: Thesis (Ph.D.) - University of Warwick, 1998.