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
8 July 2014
0 references