George Milne. (1994). Formal specification and verification of digital sytems. McGraw-Hill.
Citação norma ChicagoGeorge Milne. Formal Specification and Verification of Digital Sytems. McGraw-Hill, 1994.
Citação norma MLAGeorge Milne. Formal Specification and Verification of Digital Sytems. McGraw-Hill, 1994.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.