Forero h, Rafael h <br/><br/>
Framework para la verificación formal de programas -especificación y corrección :  

 -  2013 
<br/><br/> Referencia 
<br/><br/><label>Dewey Class. No.: </label>TI BT/7123/410/2013/CD-ROM