TY  - BOOK
AU  - CASEY,CHRIS
TI  - A PROGRAMMING APPROACH TO FORMAL METHODS / 
U1  - 005.1 
PY  - 1994///
CY  - [S.N] : 
PB  - MC GRAW - HILL ، 
KW  - PROGRAMMING
KW  - FORMAL METHODS
ER  -