George Milne. (1994). Formal specification and verification of digital sytems. McGraw-Hill.
シカゴスタイル引用形George Milne. Formal Specification and Verification of Digital Sytems. McGraw-Hill, 1994.
MLA引用形式George Milne. Formal Specification and Verification of Digital Sytems. McGraw-Hill, 1994.
警告: この引用は必ずしも正確ではありません.