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 Mon Feb 10 01:36:22 2025 GMT.