TY  - BOOK
AU  - McCormick, John W. and Chapin, Peter C.
TI  - Building High Integrity Applications with SPARK
SN  - 9781139629294
U1  - 9781139629294 
PY  - 2015///
CY  - Cambridge : 
PB  - Cambridge University Press, 
KW  - Computer Science
KW  - Software Engineering and Development
KW  - Programming Languages and Applied Logic
UR  - https://doi.org/10.1017/CBO9781139629294
ER  -