APA Edition Citation

Loeckx, J. (1983). Foundation of program verification. John Wiley & Sons.

Chicago Edition Citation

Loeckx, Jacques. Foundation of Program Verification. New Jersey: John Wiley & Sons, 1983.

MLA Edition Citation

Loeckx, Jacques. Foundation of Program Verification. John Wiley & Sons, 1983.

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