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