@book{607510,
	author = {Ahmed, Muhammad and Supervisor: Dr. Safdar Abbas Khan},
	title = {Intelligent Proof Assistance for Dynamic Fault Tree Analysis: A Multi-Model Approach for Tactic Generation and Proof Synthesis in HOL4/},
	publisher = {SEECS NUST,},
	year = {2023.},
	address = {Islamabad,},
	url = {http://10.250.8.41:8080/xmlui/handle/123456789/37731}
}