Ahmad, Waqar <br/><br/>
Formal Dependability Analysis using Higher-order-logic Theorem Proving / 
Waqar Ahmad. 
 - Islamabad:  SEECS - NUST,  2017. 
 - ix, 181 p.: ill.;  30cm.  +CD 
<br/><br/> Hardcover. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>PhD-Information Technology 
<br/><br/><label>Dewey Class. No.: </label>200