TY  - BOOK
AU  - Almelida, J.B
AU  - Frade, J.M
AU  - Pinto, S.J
AU  - De sousa, S.M
TI  - Rigorous sofrware development: an introduction to program verifacation
SN  - 9780857290175
AV  - DUCE 76.76.W47 
PY  - 2011///
CY  - London
PB  - Springer
N1  - Includes index
ER  -