On formal specification of software components and systems (Q2863885)

From MaRDI portal





scientific article; zbMATH DE number 6235748
Language Label Description Also known as
English
On formal specification of software components and systems
scientific article; zbMATH DE number 6235748

    Statements

    0 references
    0 references
    4 December 2013
    0 references
    formal specification
    0 references
    software component
    0 references
    composition
    0 references
    On formal specification of software components and systems (English)
    0 references

    Identifiers