Ahmed, Muhammad <br/><br/>
Proof Automation for the Dynamic Fault Tree Analysis: A Multi-Model Approach for Tactics Generation and Proof Synthesis in HOL4/ 
Muhammad Ahmed 
 - ill:  93,p:  30,cm. 
<br/><br/><label>Dewey Class. No.: </label>200