Jacobs University Bremen)

Identifiers

No identifiers captured yet.

Papers (1)

1. Alignment-based Translations Across Formal Systems Using Interface Theories cs.LO · 2017 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Colin Rothgang (Mathematics 1 shared papers
• Dennis M\"uller (Computer Science 1 shared papers
• FAU Erlangen-N\"urnberg) 1 shared papers
• Florian Rabe (Computer Science 1 shared papers
• Yufei Liu (Mathematics 1 shared papers