Dyfyniad APA

Roscoe, A. (1992). Occam in the specification and verification of microprocessors.

Dyfyniad Arddull Chicago

Roscoe, A. Occam in the Specification and Verification of Microprocessors. 1992.

Dyfyniad MLA

Roscoe, A. Occam in the Specification and Verification of Microprocessors. 1992.

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.