TY  - BOOK
AU  - ALMEIDA AND ETC
ED  - NO
TI  - RIGOROUS SOFTWARE DEVELOPMENT: AN INTRODUCTION TO PROGRAM VERIFICATION
SN  - 9780857290175
U1  - 005.3 ALM 
PY  - 2011///
PB  - SPRINGER
ER  -