%0 Conference Paper %1 conf/mkm/SlamaB17 %A Slama, Franck %A Brady, Edwin C. %B CICM %D 2017 %E Geuvers, Herman %E England, Matthew %E Hasan, Osman %E Rabe, Florian %E Teschke, Olaf %I Springer %K %P 40-55 %T Automatically Proving Equivalence by Type-Safe Reflection. %U http://dblp.uni-trier.de/db/conf/mkm/cicm2017.html#SlamaB17 %V 10383 %@ 978-3-319-62075-6

@inproceedings{conf/mkm/SlamaB17, added-at = {2023-12-13T06:08:55.000+0100}, author = {Slama, Franck and Brady, Edwin C.}, biburl = {https://www.bibsonomy.org/bibtex/2a1a0cb7da0f2788d0b9d6c88988ba816/admin}, booktitle = {CICM}, crossref = {conf/mkm/2017}, editor = {Geuvers, Herman and England, Matthew and Hasan, Osman and Rabe, Florian and Teschke, Olaf}, ee = {https://doi.org/10.1007/978-3-319-62075-6_4}, interhash = {aaeaa306987a0a506bbb993a55603534}, intrahash = {a1a0cb7da0f2788d0b9d6c88988ba816}, isbn = {978-3-319-62075-6}, keywords = {}, pages = {40-55}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T06:08:55.000+0100}, title = {Automatically Proving Equivalence by Type-Safe Reflection.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2017.html#SlamaB17}, volume = 10383, year = 2017 }