| Original language | English |
|---|---|
| Title of host publication | 13th Conference of the Spanish Association for Artificial Intelligence |
| Publisher | Springer |
| Publication status | Accepted/In press - 2009 |
| Event | Conference of the Spanish Association for Artificial Intelligence (CAEPIA) - Sevilla, Spanien, Spain Duration: 9 Nov 2009 → 13 Nov 2009 |
Conference
| Conference | Conference of the Spanish Association for Artificial Intelligence (CAEPIA) |
|---|---|
| Country | Spain |
| City | Sevilla, Spanien |
| Period | 9/11/09 → 13/11/09 |
Treatment code (Nähere Zuordnung)
- Theoretical
- Experimental
Cite this
Wotawa, F., Weber, J., Nica, M., & Ceballos, R. (Accepted/In press). On the complexity of program debugging using constraints for modeling the program’s syntax and semantics. In 13th Conference of the Spanish Association for Artificial Intelligence Springer.
On the complexity of program debugging using constraints for modeling the program’s syntax and semantics. / Wotawa, Franz; Weber, Jörg; Nica, Mihai; Ceballos, Rafael.
13th Conference of the Spanish Association for Artificial Intelligence. Springer, 2009.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
Wotawa, F, Weber, J, Nica, M & Ceballos, R 2009, On the complexity of program debugging using constraints for modeling the program’s syntax and semantics. in 13th Conference of the Spanish Association for Artificial Intelligence. Springer, Conference of the Spanish Association for Artificial Intelligence (CAEPIA), Sevilla, Spanien, Spain, 9/11/09.
Wotawa F, Weber J, Nica M, Ceballos R. On the complexity of program debugging using constraints for modeling the program’s syntax and semantics. In 13th Conference of the Spanish Association for Artificial Intelligence. Springer. 2009
@inproceedings{8b0d65f7faf94552abfa60d6a88fc574,
title = "On the complexity of program debugging using constraints for modeling the program’s syntax and semantics",
author = "Franz Wotawa and J{\"o}rg Weber and Mihai Nica and Rafael Ceballos",
year = "2009",
language = "English",
booktitle = "13th Conference of the Spanish Association for Artificial Intelligence",
publisher = "Springer",
}
TY - GEN
T1 - On the complexity of program debugging using constraints for modeling the program’s syntax and semantics
AU - Wotawa, Franz
AU - Weber, Jörg
AU - Nica, Mihai
AU - Ceballos, Rafael
PY - 2009
Y1 - 2009
UR - http://www.lsi.us.es/caepia09/index.php-lang=en.htm
M3 - Conference contribution
BT - 13th Conference of the Spanish Association for Artificial Intelligence
PB - Springer
ER -