(1994). Formal specification and verification of digital systems / George Milne.
Cita Chicago Style (17a ed.)Formal Specification and Verification of Digital Systems / George Milne. 1994.
Cita MLA (9a ed.)Formal Specification and Verification of Digital Systems / George Milne. 1994.
Precaución: Estas citas no son 100% exactas.