Detecting isomorphisms of modular specifications with diagrams (Q5096385)

From MaRDI portal
scientific article; zbMATH DE number 7572210
Language Label Description Also known as
English
Detecting isomorphisms of modular specifications with diagrams
scientific article; zbMATH DE number 7572210

    Statements

    Identifiers