Building High Integrity Applications with SPARK - McCormick, John W. and Chapin, Peter C. (Cambridge : Cambridge University Press, 2015)
Keywords: Computer Science; Software Engineering and Development; Programming Languages and Applied Logic