TY  - BOOK
AU  - Ahmed, Muhammad
AU  - Supervisor: Dr. Safdar Abbas Khan
TI  - Intelligent Proof Assistance for Dynamic Fault Tree Analysis: A Multi-Model Approach for Tactic Generation and Proof Synthesis in HOL4
U1  - 200 
PY  - 2023///
CY  - Islamabad
PB  - SEECS NUST
KW  - MS- Data Science
UR  - http://10.250.8.41:8080/xmlui/handle/123456789/37731
ER  -