Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach.
Paul-Olivier DehayeMihnea IancuMichael KohlhaseAlexander KonovalovSamuel LelièvreDennis MüllerMarkus PfeifferFlorian RabeNicolas M. ThiéryTom WiesingPublished in: CICM (2016)