Müller D, Rabe F, Rothgang C, Liu Y (2017)
Publication Type: Conference contribution
Publication year: 2017
Publisher: Open Publishing Association
Pages Range: 77--93
Conference Proceedings Title: Proof eXchange for Theorem Proving
APA:
Müller, D., Rabe, F., Rothgang, C., & Liu, Y. (2017). Alignment-based Translations Across Formal Systems Using Interface Theories. In Dubois C, {Woltzenlogel Paleo} B (Eds.), Proof eXchange for Theorem Proving (pp. 77--93). Open Publishing Association.
MLA:
Müller, Dennis, et al. "Alignment-based Translations Across Formal Systems Using Interface Theories." Proceedings of the PxTP 2017 Ed. Dubois C, {Woltzenlogel Paleo} B, Open Publishing Association, 2017. 77--93.
BibTeX: Download