Back to Record

An introduction to formal program verification /
Ali Mili.

APA Citation

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

MLA Citation

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

Warning: These citations may not always be complete (especially for serials).