TY  - BOOK
AU  - Almeida,José Bacelar
TI  - Rigorous software development: an introduction to program verification 
T2  - Undergraduate topics in computer science,
SN  - 9780857290175 (pbk.)
AV  - QA76.76.V47 R54 2011
U1  - 005.14 22
PY  - 2011///
CY  - London
PB  - Springer
KW  - Computer software
KW  - Verification
KW  - Development
N1  - Includes bibliographical references and index; Introduction -- An overview of formal methods tools and techniques -- Propositional logic -- First-order logic -- Hoare logic -- Generating verification conditions -- Safety properties -- Procedures and contracts -- Specifying C programs -- Verifying C programs
UR  - http://www.loc.gov/catdir/enhancements/fy1108/2011286573-t.html
UR  - http://www.loc.gov/catdir/enhancements/fy1108/2011286573-d.html
UR  - http://www.loc.gov/catdir/enhancements/fy1108/2011286573-b.html
ER  -