TY  - GEN
AU  - Berbis González, Eduardo
AU  - León Guerrero,, Saúl
AU  - Orna Ruiz, Eva Pilar
A4  - Vado Vírseda, Rafael del
PY  - 2011
UR  - https://hdl.handle.net/20.500.14352/46093
AB  - Mientras la lógica juega un papel muy importante en varias áreas de la ciencia informática, la mayoría del software educativo desarrollado para la enseñanza lógica ignora su aplicación en una parte más amplia del dominio de la enseñanza de la ciencia...
LA  - spa
KW  - Verificación formal
KW  - Depuración algorítmica
KW  - Tableaux
KW  - Ciencia informática
KW  - Programas imperativos
KW  - Formal Verification
KW  - Declarative Debugging
KW  - Computer Science
KW  - Imperative Programs
TI  - Tableaux verification tool
TY  - coursework
ER  -