Proving Safety Properties of Rewrite Theories (Q3090877)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Proving Safety Properties of Rewrite Theories
scientific article

    Statements

    Proving Safety Properties of Rewrite Theories (English)
    0 references
    0 references
    0 references
    2 September 2011
    0 references
    0 references
    0 references

    Identifiers