McCormick, J. W. (2015). Building high integrity applications with SPARK. Cambridge University Press. https://doi.org/10.1017/CBO9781139629294
Chicago Style (17th ed.) CitationMcCormick, John W. Building High Integrity Applications with SPARK. Cambridge: Cambridge University Press, 2015. https://doi.org/10.1017/CBO9781139629294.
MLA (9th ed.) CitationMcCormick, John W. Building High Integrity Applications with SPARK. Cambridge University Press, 2015. https://doi.org/10.1017/CBO9781139629294.
Warning: These citations may not always be 100% accurate.