George Milne. (1994). Formal specification and verification of digital sytems. McGraw-Hill.
Chicago Style citaatGeorge Milne. Formal Specification and Verification of Digital Sytems. McGraw-Hill, 1994.
MLA citatieGeorge Milne. Formal Specification and Verification of Digital Sytems. McGraw-Hill, 1994.
Let op: Deze citaties zijn niet altijd 100% accuraat.