TY  - BOOK
AU  - Almeida, Jose Bacelar; Frade, Maria Joao; Pinto, Jorge Sousa; Sousa, Simao Melo De.
TI  - Rigorous software development: an introduction to program verification: An introduction to program verification
SN  - 9788132231653
U1  - 005.304 ALMJ 
PY  - 2015///
CY  - New Delhi
PB  - Springer
KW  - Software Testing
ER  -