TY  - BOOK
AU  - GERARD O'REGAN
TI  - RIGOROUS SOFTWARE DEVELOPMENT INTRODUCTION TO PROGARM VERIFICATION
SN  - 9780857291714
U1  - 005.1 REG 
CY  - LONDON
PB  - SPRINGER
ER  -