@misc{indiciae5d40e2463b11,
  title = {Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach},
  author = {Paul-Olivier Dehaye and Michael Kohlhase and Alexander Konovalov and Samuel Lelièvre and Markus Pfeiffer and Nicolas M. Thiéry},
  year = {2016},
  doi = {10.1007/978-3-319-42547-4\_9},
  url = {https://arxiv.org/abs/1603.06424},
  note = {Source identifier: 1603.06424}
}