%0 Conference Paper %1 conf/esop/SchererR15 %A Scherer, Gabriel %A Rémy, Didier %B ESOP %D 2015 %E Vitek, Jan %I Springer %K dblp %P 685-709 %T Full Reduction in the Face of Absurdity. %U http://dblp.uni-trier.de/db/conf/esop/esop2015.html#SchererR15 %V 9032 %@ 978-3-662-46668-1

@inproceedings{conf/esop/SchererR15, added-at = {2019-08-20T00:00:00.000+0200}, author = {Scherer, Gabriel and Rémy, Didier}, biburl = {https://www.bibsonomy.org/bibtex/2d59fe89063542b1832401747a63c0e2b/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2015}, editor = {Vitek, Jan}, ee = {https://doi.org/10.1007/978-3-662-46669-8_28}, interhash = {7e8a671f5126e3f881d09c43f7a0b6f3}, intrahash = {d59fe89063542b1832401747a63c0e2b}, isbn = {978-3-662-46668-1}, keywords = {dblp}, pages = {685-709}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-21T11:57:38.000+0200}, title = {Full Reduction in the Face of Absurdity.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2015.html#SchererR15}, volume = 9032, year = 2015 }