Sultana, Sidra <br/><br/>
Automation of software modeling and verification / 
Sidra Sultan. 
 - Rawalpindi:  MCS NUST,  2018. 
 - 121 p. :  ill. ;  30,cm. 
<br/><br/><label>ISBN: </label>
<br/><br/><label>Subjects--Topical Terms: </label><br/> Ph. D - Thesis.Computer Software Engineering
<br/><br/><label>Dewey Class. No.: </label>200