APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

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