TY  - BOOK
AU  -  Ahmad Waqar
AU  - Supervisors:Dr. Osman Hasan
TI  - Formal Dependability analysis using higher-order-logic theorem proving
U1  - 200 
PY  - 2017///
CY  - Islamabad
PB  - NUST-SEECS
UR  - http://10.250.8.41:8080/xmlui/handle/123456789/6384
ER  -