Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic (bibtex)
by Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger
Reference:
Unified Reasoning About Robustness Properties of Symbolic-Heap Separation LogicChristina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian ZulegerProgramming 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, pages 611–638, 2017.
Bibtex Entry:
@inproceedings{DBLP:conf/esop/JansenKMNZ17,
  author    = {Christina Jansen and
               Jens Katelaan and
               Christoph Matheja and
               Thomas Noll and
               Florian Zuleger},
  title     = {Unified Reasoning About Robustness Properties of Symbolic-Heap Separation
               Logic},
  booktitle = {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},
  pages     = {611--638},
  year      = {2017},
}
Powered by bibtexbrowser