APA Edition Citation

Milne, G. (1994). Formal Specification And Verification Of Digital Systems. Mcgraw Hill Book Company.

Chicago Edition Citation

Milne, George. Formal Specification And Verification Of Digital Systems. Mcgraw Hill Book Company, 1994.

MLA Edition Citation

Milne, George. Formal Specification And Verification Of Digital Systems. Mcgraw Hill Book Company, 1994.

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