Reasoning about heap manipulating programs using automata techniques (Q4907859)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6138799
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Reasoning about heap manipulating programs using automata techniques |
scientific article; zbMATH DE number 6138799 |
Statements
Reasoning about Heap Manipulating Programs using Automata Techniques (English)
0 references
26 February 2013
0 references
0.7488874793052673
0 references
0.7488283514976501
0 references
0.7456651329994202
0 references
0.7373313903808594
0 references
