Type Checking Specifications (Q2873610)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Type Checking Specifications
scientific article

    Statements

    Type Checking Specifications (English)
    0 references
    0 references
    0 references
    0 references
    24 January 2014
    0 references
    formal methods
    0 references
    concurrency
    0 references
    formal languages
    0 references
    type system
    0 references
    refinement tool
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references