A Single Perspective on Arrows between Institutions

Alfio Martini, Uwe Wolter. A Single Perspective on Arrows between Institutions. In Armando Martin Haeberer, editor, Algebraic Methodology and Software Technology, 7th International Conference, AMAST 98, Amazonia, Brasil, January 4-8, 1999, Proceedings. Volume 1548 of Lecture Notes in Computer Science, pages 486-501, Springer, 1998. [doi]

Authors

Alfio Martini

This author has not been identified. Look up 'Alfio Martini' in Google

Uwe Wolter

This author has not been identified. Look up 'Uwe Wolter' in Google