TY  - BOOK
AU  - Behl, Nischay
TI  - Text book of formal specification and verification
U1  - 001.65 B40T 
CY  - Delhi
PB  - Shree Publications
KW  - FORMAL METHODS (COMPUTER SCIENCE)
KW  - COMPUTER PROGRAMS - VERIFICATION
ER  -