Graph-Based Shape Analysis Beyond Context-Freeness

Cham / Springer (2018) [Buchbeitrag, Beitrag zu einem Tagungsband]

Software engineering and formal methods : 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings / Einar Broch Johnsen, Ina Schaefer (eds.)
Seite(n): 271-286

Autorinnen und Autoren

Autorinnen und Autoren

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

Identifikationsnummern