(1994). Formal specification and verification of digital systems / George Milne.
Cita Chicago (17th ed.)Formal Specification and Verification of Digital Systems / George Milne. 1994.
Cita MLA (9th ed.)Formal Specification and Verification of Digital Systems / George Milne. 1994.
Atenció: Aquestes cites poden no estar 100% correctes.