TY  - GEN
AU  - Almeida, José Bacelar 
AU  - Frade, Maria João  
AU  - Pinto, Jorge Sousa 
AU  - Sousa, Simão Melo de 
TI  - Rigorous Software Development: introduction to program verification
T2  - Undergraduate Topics in Computer Science
SN  - 9780857290175
U1  - 005.14 A164r 
PY  - 2011///
CY  - London
PB  - Springer
KW  - Computer software
KW  - Verification
KW  - Software engineering
KW  - Logic design
ER  -