APA (7e ed.) Bronvermelding

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

Chicago (17e ed.) Bronvermelding

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

MLA (8e ed.) Bronvermelding

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

Let op: Deze citaties zijn niet altijd 100% accuraat.