%0 Conference Paper %1 conf/esop/FrielinghausPS15 %A Frielinghaus, Stefan Schulze %A Petter, Michael %A Seidl, Helmut %B ESOP %D 2015 %E Vitek, Jan %I Springer %K %P 457-482 %T Inter-procedural Two-Variable Herbrand Equalities. %U http://dblp.uni-trier.de/db/conf/esop/esop2015.html#FrielinghausPS15 %V 9032 %@ 978-3-662-46668-1

@inproceedings{conf/esop/FrielinghausPS15, added-at = {2023-12-12T23:38:37.000+0100}, author = {Frielinghaus, Stefan Schulze and Petter, Michael and Seidl, Helmut}, biburl = {https://www.bibsonomy.org/bibtex/2c456c6577c276c5514b137227d0712f3/admin}, booktitle = {ESOP}, crossref = {conf/esop/2015}, editor = {Vitek, Jan}, ee = {https://doi.org/10.1007/978-3-662-46669-8_19}, interhash = {584f736109fad4c690f7d8d0f063c271}, intrahash = {c456c6577c276c5514b137227d0712f3}, isbn = {978-3-662-46668-1}, keywords = {}, pages = {457-482}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T23:38:37.000+0100}, title = {Inter-procedural Two-Variable Herbrand Equalities.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2015.html#FrielinghausPS15}, volume = 9032, year = 2015 }