TY  - BOOK
AU  - DAHI,OLE-JOHAN
TI  - VERIFIABLE PROGRAMMING / 
U1  - 005.1 
PY  - 1992///
CY  - [S.N] : 
PB  - PRENTICE HALL ، 
KW  - COMPUTER PROGRM
KW  - VERIFICATION
ER  -