TY  - BOOK
AU  - PONCE,María Celeste
TI  - Definición semántica de los sistemas de Hoare y su verificación. Verificación de programas recursivos
PY  - 2006///
CY  - Rafaela, 
KW  - CIENCIA Y TECNOLOGIA DE LOS ORDENADORES. INFORMATI
KW  - INGENIERIA EN INFORMÁTICA
KW  - LOGICA
ER  -