Roscoe, A. (1992). Occam in the specification and verification of microprocessors.
Chicago Style (17th ed.) CitationRoscoe, A. Occam in the Specification and Verification of Microprocessors. 1992.
ציטוט MLARoscoe, A. Occam in the Specification and Verification of Microprocessors. 1992.
אזהרה: ציטוטים אלה לעיתים לא מדויקים ב 100%.