APA (7th ed.) Citation

Mili, A. (1985). An introduction to formal program verification. Van Nostrand Reinhold Co..

Chicago Style (17th ed.) Citation

Mili, Ali. An Introduction to Formal Program Verification. New York: Van Nostrand Reinhold Co., 1985.

MLA (9th ed.) Citation

Mili, Ali. An Introduction to Formal Program Verification. Van Nostrand Reinhold Co., 1985.

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