Items where Author is "Schostak, Daniel Paul"

Up a level
Export as [feed] Atom [feed] RSS
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 Dec 2 01:31:57 2022 GMT.