APA (7th ed.) Citation

MILNE GEORGE. (1994). FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS. MCGRAW HILL.

Chicago Style (17th ed.) Citation

MILNE GEORGE. FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS. NEW YORK: MCGRAW HILL, 1994.

MLA (9th ed.) Citation

MILNE GEORGE. FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS. MCGRAW HILL, 1994.

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