Occam in the specification and verification of microprocessors

Opis bibliograficzny
1. autor: Roscoe, A
Format: Journal article
Wydane: 1992