%0 Conference Paper %1 conf/mkm/DehayeIKKLMPRTW16 %A Dehaye, Paul-Olivier %A Iancu, Mihnea %A Kohlhase, Michael %A Konovalov, Alexander %A Lelièvre, Samuel %A Müller, Dennis %A Pfeiffer, Markus %A Rabe, Florian %A Thiéry, Nicolas M. %A Wiesing, Tom %B CICM %D 2016 %E Kohlhase, Michael %E Johansson, Moa %E Miller, Bruce R. %E de Moura, Leonardo %E Tompa, Frank Wm. %I Springer %K %P 117-131 %T Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach. %U http://dblp.uni-trier.de/db/conf/mkm/cicm2016.html#DehayeIKKLMPRTW16 %V 9791 %@ 978-3-319-42546-7

@inproceedings{conf/mkm/DehayeIKKLMPRTW16, added-at = {2023-12-13T09:25:00.000+0100}, author = {Dehaye, Paul-Olivier and Iancu, Mihnea and Kohlhase, Michael and Konovalov, Alexander and Lelièvre, Samuel and Müller, Dennis and Pfeiffer, Markus and Rabe, Florian and Thiéry, Nicolas M. and Wiesing, Tom}, biburl = {https://www.bibsonomy.org/bibtex/2b0c14b67e87326395b92a2e5f818f6a5/admin}, booktitle = {CICM}, crossref = {conf/mkm/2016}, editor = {Kohlhase, Michael and Johansson, Moa and Miller, Bruce R. and de Moura, Leonardo and Tompa, Frank Wm.}, ee = {https://www.wikidata.org/entity/Q57389301}, interhash = {ce0ca745c9c479c748a92d3a5d07a364}, intrahash = {b0c14b67e87326395b92a2e5f818f6a5}, isbn = {978-3-319-42546-7}, keywords = {}, pages = {117-131}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T09:25:00.000+0100}, title = {Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2016.html#DehayeIKKLMPRTW16}, volume = 9791, year = 2016 }