Detecting Isomorphisms of Modular Specifications with Diagrams (1995)

by Catherine Oriat
Venue:In Proceedings of AMAST'95, number 936 in LNCS