TY  - BOOK
AU  - JOSE BACELAR ALMEIDA; MARIA JOAO FRADE; JORGE SOUSA PINTO; SIMAO MELO DE SOUSA
TI  - RIGOROUS SOFTWARE DEVELOPMENT : AN INTRODUCTION TO PROGRAM VERIFICATION
SN  - 9788132231653
U1  - 005.1 ALM 
PB  - SPRINGER.
KW  - COMPUTER SCIENCE
ER  -