McCormick, J. W., & Chapin, P. C. (2015). Building high integrity applications with SPARK. Cambridge University Press.
Chicago Style (17th ed.) CitationMcCormick, John W., and Peter C. Chapin. Building High Integrity Applications with SPARK. Cambridge ; New York: Cambridge University Press, 2015.
MLA (9th ed.) 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.