Ahmed, Muhammad <br/><br/>
Intelligent Proof Assistance for Dynamic Fault Tree Analysis: A Multi-Model Approach for Tactic Generation and Proof Synthesis in HOL4/ 
Muhammad Ahmed 
 - ill:  93,p:  30,cm 
<br/><br/><label>Subjects--Topical Terms: </label><br/>MS- Data Science 
<br/><br/><label>Dewey Class. No.: </label>200