George Milne. (1994). Formal specification and verification of digital sytems. McGraw-Hill.
Chicago ZitierstilGeorge Milne. Formal Specification and Verification of Digital Sytems. McGraw-Hill, 1994.
MLA ZitierstilGeorge Milne. Formal Specification and Verification of Digital Sytems. McGraw-Hill, 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.