McCormick, J. W., & Chapin, P. C. (2015). Building high integrity applications with SPARK. Cambridge University Press.
Chicago Edition CitationMcCormick, John W., and Peter C. Chapin. Building High Integrity Applications with SPARK. New York: Cambridge University Press, 2015.
MLA Edition CitationMcCormick, John W., and Peter C. Chapin. Building High Integrity Applications with SPARK. Cambridge University Press, 2015.
Warning: These citations may not always be 100% accurate.