Model checking RAISE applicative specifications (Q470000)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Model checking RAISE applicative specifications
scientific article

    Statements

    Model checking RAISE applicative specifications (English)
    0 references
    0 references
    0 references
    11 November 2014
    0 references
    RAISE
    0 references
    model checking
    0 references
    applicative specifications
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers