Items where Author is "Schostak, Daniel Paul"

[up] Up a level
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 1.

Thesis

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 Thu Apr 3 01:32:19 2025 BST.