%0 Thesis %1 phd/dnb/Heizmann15 %A Heizmann, Matthias %D 2015 %K %T Traces, interpolants, and automata: a new approach to automatic software verification.

@phdthesis{phd/dnb/Heizmann15, added-at = {2023-12-12T17:56:00.000+0100}, author = {Heizmann, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/2d878adc857661459c58a42951745aa35/admin}, ee = {http://d-nb.info/1119452430}, interhash = {0aef22f102453ba86da803ae10184525}, intrahash = {d878adc857661459c58a42951745aa35}, keywords = {}, school = {University of Freiburg, Freiburg im Breisgau, Germany}, timestamp = {2023-12-12T17:56:00.000+0100}, title = {Traces, interpolants, and automata: a new approach to automatic software verification.}, year = 2015 }