@inproceedings{RISC4192,author = {N. Popov and T. Jebelean and B. Buchberger},
title = {{From Program Verification to Automated Debugging}},
booktitle = {{Workshop on Symbolic Computation in Software Science}},
language = {english},
pages = {55--65},
publisher = {RISC-Linz Report Series},
isbn_issn = {.},
year = {2010},
month = {July},
annote = {2010-07-00-A},
editor = {T. Jebelean and M. Mosbah and N. Popov},
refereed = {yes},
institution = {Johannes Kepler University of Linz, Austria},
length = {11},
conferencename = {SCSS 2010}
}