Ahmad, Asad <br/><br/>
Formal Analysis of Power Electronics Circuits using Theorem Proving/ 
Asad Ahmad,  
 - 103,p;  ill;  30,cm. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>PhD-  Information Technology
<br/><br/><label>Dewey Class. No.: </label>200