White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

Items where Author is "Schostak, Daniel Paul"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 1.


Schostak, Daniel Paul (2003) Methodology for the formal specification of RTL RISC processor designs (with particular reference to the ARM6). PhD thesis, University of Leeds.

This list was generated on Fri Aug 7 01:38:39 2020 BST.