Strong-Separation Logic (bibtex)
by Jens Pagel, Florian Zuleger
Reference:
Strong-Separation LogicJens Pagel, Florian ZulegerProgramming Languages and Systems - 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg, Luxembourg, March 27-April 1, 2021, Proceedings, 2021.
Bibtex Entry:
@inproceedings{DBLP:conf/esop/PagelZ21,
  author    = {Jens Pagel and
               Florian Zuleger},
  title     = {Strong-Separation Logic},
  booktitle = {Programming Languages and Systems - 30th European Symposium on Programming,
               {ESOP} 2021, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2021, Luxembourg, Luxembourg, March 27-April 1,
               2021, Proceedings},
  year      = {2021},
}
Powered by bibtexbrowser