Occam in the specification and verification of microprocessors

Bibliografski detalji
Glavni autor: Roscoe, A
Format: Journal article
Izdano: 1992