TY  - BOOK
AU  - Ahmad, Waqar
AU  - Supervisor:Dr. Osman Hasan.
TI  - Formal Dependability Analysis using Higher-order-logic Theorem Proving
U1  - 200 
PY  - 2017///
CY  - Islamabad
PB  - SEECS - NUST
KW  - PhD-Information Technology
N1  - Hardcover
UR  - http://10.250.8.41:8080/xmlui/handle/123456789/6384
ER  -