George Milne. (1994). Formal specification and verification of digital sytems. McGraw-Hill.
Style de citation ChicagoGeorge Milne. Formal Specification and Verification of Digital Sytems. McGraw-Hill, 1994.
Style de citation MLAGeorge Milne. Formal Specification and Verification of Digital Sytems. McGraw-Hill, 1994.
Attention : ces citations peuvent ne pas être correctes à 100%.