Heap Abstraction Beyond Context-Freeness

(2017) [Preprint]

Seite(n): 44 Seiten

Autorinnen und Autoren

Autorinnen und Autoren

Arndt, Hannah
Jansen, Christina
Matheja, Christoph
Noll, Thomas

Identifikationsnummern

  • REPORT NUMBER: RWTH-2018-221673