English
Français
Search
Browse Collections
Help
English
Français
login
login
Home
> >
Existential Heap Abstraction Entailment is Undecidable
> Access to Fulltext
Information
Files
Existential Heap Abstraction Entailment is Undecid[...]
-
Kuncak, Viktor
et al
main
file(s):
KuncakRinard03ExistentialHeapAbstractionEntailment
version 1
KuncakRinard03ExistentialHeapAbstractionEntailment.pdf
[284.0 KB]
27 Jan 2018, 13:03
n/a