Yufei Liu (Mathematics

Identifiers

No identifiers captured yet.

Papers (1)

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

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
• Jacobs University Bremen) 1 shared papers