McGettrick, A. D. (1982). Program Verification Using ADA. Cambridge University Press.
Chicago Style (17th ed.) CitationMcGettrick, Andrew D. Program Verification Using ADA. Cambridge University Press, 1982.
MLA (8th ed.) CitationMcGettrick, Andrew D. Program Verification Using ADA. Cambridge University Press, 1982.
Warning: These citations may not always be 100% accurate.