TY  - BOOK
AU  - Casey, Chris
TI  - A programming approach to formal methods / Chris Casey
SN  - 007707968X
U1  - 005.3 CAS 
CY  - Mcgraw Hill
KW  - Programming approach to formal methods
ER  -