Infoscience

Conference paper

Existential Heap Abstraction Entailment is Undecidable

    Reference

    • LARA-CONF-2003-002

    Record created on 2007-08-21, modified on 2016-08-08

Related material