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