TY  - BOOK
AU  - Almeida, Jose Bacelar
AU  - Frade, Maria João
AU  - Pinto, Jorge Sousa
AU  - Melo de Sousa, Simão
TI  - Rigorous software development: an introduction to program verification
SN  - 9780857290175
U1  - 005.14 
PY  - 2011///
CY  - London
PB  - Springer
KW  - Computer software -- Verification
ER  -