Rafael del Vado Vírseda, Fernando Pérez Morente. An innovative teaching tool based on semantic tableaux for verification and debugging of programs. In Guido Rößling, Thomas L. Naps, Christian Spannagel, editors, Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2011, Darmstadt, Germany, June 27-29, 2011. pages 352, ACM, 2011. [doi]
@inproceedings{VirsedaM11,
title = {An innovative teaching tool based on semantic tableaux for verification and debugging of programs},
author = {Rafael del Vado Vírseda and Fernando Pérez Morente},
year = {2011},
doi = {10.1145/1999747.1999866},
url = {http://doi.acm.org/10.1145/1999747.1999866},
tags = {rule-based, program verification, debugging, teaching},
researchr = {https://researchr.org/publication/VirsedaM11},
cites = {0},
citedby = {0},
pages = {352},
booktitle = {Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2011, Darmstadt, Germany, June 27-29, 2011},
editor = {Guido Rößling and Thomas L. Naps and Christian Spannagel},
publisher = {ACM},
isbn = {978-1-4503-0697-3},
}