APA Edition Citation

McGettrick, A. D. A. (1982). Program verification using Ada.

Chicago Edition Citation

McGettrick, Andrew D; Author. Program Verification Using Ada. Cambridge, Cambridge University Press, 1982.

MLA Edition Citation

McGettrick, Andrew D; Author. Program Verification Using Ada. 1982.

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