(1994). Formal specification and verification of digital systems / George Milne.
Chicago Style (17. basım) AtıfFormal Specification and Verification of Digital Systems / George Milne. 1994.
MLA (9th ed.) AtıfFormal Specification and Verification of Digital Systems / George Milne. 1994.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..