A general framework for modular implementations of modular system specifications (Q5044736)

From MaRDI portal
scientific article; zbMATH DE number 7611264
Language Label Description Also known as
English
A general framework for modular implementations of modular system specifications
scientific article; zbMATH DE number 7611264

    Statements

    A general framework for modular implementations of modular system specifications (English)
    0 references
    0 references
    0 references
    2 November 2022
    0 references

    Identifiers