Symbolic abstract data type inference (Q2828291)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Symbolic abstract data type inference
scientific article

    Statements

    Symbolic abstract data type inference (English)
    0 references
    0 references
    0 references
    24 October 2016
    0 references
    concurrency
    0 references
    linearizability
    0 references
    refinement
    0 references

    Identifiers