Detecting isomorphisms of modular specifications with diagrams

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/3-540-60043-4_53 ◽

1995 ◽

pp. 184-198 ◽

Author(s):

Catherine Oriat

Download Full-text