%0 Conference Paper %1 conf/esop/BrauerK11 %A Brauer, Jörg %A King, Andy %B ESOP %D 2011 %E Barthe, Gilles %I Springer %K dblp %P 97-115 %T Transfer Function Synthesis without Quantifier Elimination. %U http://dblp.uni-trier.de/db/conf/esop/esop2011.html#BrauerK11 %V 6602 %@ 978-3-642-19717-8

@inproceedings{conf/esop/BrauerK11, added-at = {2018-06-26T00:00:00.000+0200}, author = {Brauer, Jörg and King, Andy}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2df96fb2b91334e319206eb0be0c5bba5/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2011}, editor = {Barthe, Gilles}, ee = {https://doi.org/10.1007/978-3-642-19718-5_6}, interhash = {a2dfaea4bd54b12cca902c9ebb331f65}, intrahash = {df96fb2b91334e319206eb0be0c5bba5}, isbn = {978-3-642-19717-8}, keywords = {dblp}, pages = {97-115}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:30:11.000+0200}, title = {Transfer Function Synthesis without Quantifier Elimination.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2011.html#BrauerK11}, volume = 6602, year = 2011 }