APA (7th ed.) Citation

Milne, G. J. (1994). Formal specification and verification of digital systems / George Milne. McGraw-Hill.

Chicago Style (17th ed.) Citation

Milne, George J. Formal Specification and Verification of Digital Systems / George Milne. London ; New York: McGraw-Hill, 1994.

MLA (9th ed.) Citation

Milne, George J. Formal Specification and Verification of Digital Systems / George Milne. McGraw-Hill, 1994.

Warning: These citations may not always be 100% accurate.