Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic

Jansen, Christina; Katelaan, Jens (Corresponding author); Matheja, Christoph (Corresponding author); Noll, Thomas; Zuleger, Florian

Berlin : Springer (2017)
Contribution to a book, Contribution to a conference proceedings

In: Programming languages and systems : 26th European Symposium on Programming, ESOP 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings / Hongseok Yang (ed.)
Page(s)/Article-Nr.: 611-638