Loading...
conference paper
Existential Heap Abstraction Entailment is Undecidable
2003
10th Annual International Static Analysis Symposium
Type
conference paper
Author(s)
Date Issued
2003
Published in
10th Annual International Static Analysis Symposium
Written at
OTHER
EPFL units
Available on Infoscience
August 21, 2007
Use this identifier to reference this record