George Milne. (1994). Formal specification and verification of digital sytems. McGraw-Hill.
Stile di citazione ChicagoGeorge Milne. Formal Specification and Verification of Digital Sytems. McGraw-Hill, 1994.
Citazione MLAGeorge Milne. Formal Specification and Verification of Digital Sytems. McGraw-Hill, 1994.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.