%0 Conference Paper %1 conf/esop/BartheK08 %A Barthe, Gilles %A Kunz, César %B ESOP %D 2008 %E Drossopoulou, Sophia %I Springer %K dblp %P 368-382 %T Certificate Translation in Abstract Interpretation. %U http://dblp.uni-trier.de/db/conf/esop/esop2008.html#BartheK08 %V 4960 %@ 978-3-540-78738-9

@inproceedings{conf/esop/BartheK08, added-at = {2018-06-26T00:00:00.000+0200}, author = {Barthe, Gilles and Kunz, César}, biburl = {https://www.bibsonomy.org/bibtex/2afb87a0ec0d985cf3f45669d79ddf97d/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2008}, editor = {Drossopoulou, Sophia}, ee = {https://doi.org/10.1007/978-3-540-78739-6_28}, interhash = {33bce1d6eaa98c94baa621c375399e16}, intrahash = {afb87a0ec0d985cf3f45669d79ddf97d}, isbn = {978-3-540-78738-9}, keywords = {dblp}, pages = {368-382}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T13:07:40.000+0200}, title = {Certificate Translation in Abstract Interpretation.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2008.html#BartheK08}, volume = 4960, year = 2008 }