TY  - BOOK
AU  - Almeida, Jose Bacelar
AU  - Frade, Maria Joao
AU  - Pinto, Jorge Sousa...[et al.]
TI  - Rigorous software development : an introduction to program verification
SN  - 9788132231653
CY  - New Delhi
KW  - Software engineering
N1  - Includes bibliographical references and index
ER  -