TY  - BOOK
AU  - José Bacelar Almeida ... [et al.].
TI  - Rigorous software development : an introduction to program verification
SN  - 9780857290175
AV  - QA 76.76. R54/ 
CY  - London 
KW  -      Computer software--Verification.     Computer software--Development.
ER  -