Joyce, J. J. (1988). Formal specification and verification of microprocessor systems.
Chicago-Zitierstil (17. Ausg.)Joyce, Jeffrey J. Formal Specification and Verification of Microprocessor Systems. Cambridge, 1988.
MLA-Zitierstil (9. Ausg.)Joyce, Jeffrey J. Formal Specification and Verification of Microprocessor Systems. 1988.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.