Christina Jansen

Identifiers

No identifiers captured yet.

Papers (2)

1. Graph-Based Shape Analysis Beyond Context-Freeness cs.PL · 2017 · author #2
2. Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic cs.LO · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Christoph Matheja 2 shared papers
• Thomas Noll 2 shared papers
• Florian Zuleger 1 shared papers
• Hannah Arndt 1 shared papers
• Jens Katelaan 1 shared papers