Mahum Naseer <br/><br/>
Formal Verification of ECCs for Memories Using ACL2/ 
Mahum Naseer 
 - Islamabad :  SEECS NUST,  2018. 
 - ix, 38p. : ill. ;  30cm 
<br/><br/> Hard cover 
<br/><br/><label>Subjects--Personal Names: </label><br/>Mahum Naseer
<br/><br/><label>Dewey Class. No.: </label>621.3