PONCE, María Celeste <br/><br/>
Definición semántica de los sistemas de Hoare y su verificación. Verificación de programas recursivos 

 - Rafaela,   2006. 
 - 14 páginas 
<br/><br/><label>Subjects--Topical Terms: </label><br/>CIENCIA Y TECNOLOGIA DE LOS ORDENADORES. INFORMATI<br/>INGENIERIA EN INFORMÁTICA<br/>LOGICA