Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata (Q5166690)

From MaRDI portal
scientific article; zbMATH DE number 6314157
Language Label Description Also known as
English
Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata
scientific article; zbMATH DE number 6314157

    Statements

    Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    8 July 2014
    0 references

    Identifiers