%0 Conference Paper %1 conf/atva/SchafT15 %A Schäf, Martin %A Tiwari, Ashish %B ATVA %D 2015 %E Finkbeiner, Bernd %E Pu, Geguang %E Zhang, Lijun %I Springer %K dblp %P 97-113 %T Severity Levels of Inconsistent Code. %U http://dblp.uni-trier.de/db/conf/atva/atva2015.html#SchafT15 %V 9364 %@ 978-3-319-24952-0

@inproceedings{conf/atva/SchafT15, added-at = {2019-11-06T00:00:00.000+0100}, author = {Schäf, Martin and Tiwari, Ashish}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e49419441c28c77d4276bfa79b13933b/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2015}, editor = {Finkbeiner, Bernd and Pu, Geguang and Zhang, Lijun}, ee = {https://doi.org/10.1007/978-3-319-24953-7_8}, interhash = {2d6284d75c5dbc397f5a73d26fc9d026}, intrahash = {e49419441c28c77d4276bfa79b13933b}, isbn = {978-3-319-24952-0}, keywords = {dblp}, pages = {97-113}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-11-26T08:22:09.000+0100}, title = {Severity Levels of Inconsistent Code.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2015.html#SchafT15}, volume = 9364, year = 2015 }