A Separation Logic with Data: Small Models and Automation (bibtex)
by Jens Katelaan, Dejan Jovanovic, Georg Weissenbacher
Reference:
A Separation Logic with Data: Small Models and AutomationJens Katelaan, Dejan Jovanovic, Georg WeissenbacherInternational Joint Conference on Automated Reasoning (ICJAR), volume 10900 of Lecture Notes in Computer Science, pages 455-471, 2018, Springer.
Bibtex Entry:
@inproceedings{KatelaanJW18,
  author    = {Jens Katelaan and
               Dejan Jovanovic and
               Georg Weissenbacher},
  title     = {A Separation Logic with Data: Small Models and Automation},
  booktitle = {{International Joint Conference on Automated Reasoning (ICJAR)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10900},
  pages     = {455--471},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-94205-6\_30},
}
Powered by bibtexbrowser