Alignment-based Translations Across Formal Systems Using Interface Theories
Article in Electronic Proceedings in Theoretical Computer Science (December 2017)
The most recent citing publications are shown below. View all 7 publications that cite this research output on Dimensions.
Article in Electronic Proceedings in Theoretical Computer Science (December 2017)
Article in Journal of Automated Reasoning (November 2017)
Article in History of Political Economy (January 2017)