Building high integrity applications with SPARK - McCormick, John W. 1948- (Cambridge University Press, 2015)
Title from publisher's bibliographic system (viewed on 05 Oct 2015)