TY  - BOOK
AU  - Almeida, Jose Bacelar.
AU  - Frade, Maria Joao.
AU  - Pinto, Jorge Sousa.
AU  - de Sousa, Simao Melo
TI  -  Rigorous software development: an introduction to program verification 
SN  - 9788132231653
U1  - 005.14 ALM-J 
PY  - 2011///
CY  - India
PB  - Springer India
KW  - Computer software--Verification
KW  - Computer software--Development
KW  - Logic design
KW  - Software engineering
KW  - Algebra--Data processing
KW  - Computer science
ER  -