Temesghen Kahsai, Jorge A. Navas, Dejan Jovanovic, Martin Schäf. Finding Inconsistencies in Programs with Loops. In Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings. Volume 9450 of Lecture Notes in Computer Science, pages 499-514, Springer, 2015. [doi]
@inproceedings{KahsaiNJS15,
title = {Finding Inconsistencies in Programs with Loops},
author = {Temesghen Kahsai and Jorge A. Navas and Dejan Jovanovic and Martin Schäf},
year = {2015},
doi = {10.1007/978-3-662-48899-7_35},
url = {http://dx.doi.org/10.1007/978-3-662-48899-7_35},
researchr = {https://researchr.org/publication/KahsaiNJS15},
cites = {0},
citedby = {0},
pages = {499-514},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings},
editor = {Martin Davis and Ansgar Fehnker and Annabelle McIver and Andrei Voronkov},
volume = {9450},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-662-48898-0},
}