Automating Separation Logic Using SMT

The work

TitleAutomating Separation Logic Using SMT
AuthorsRužica Piskač; Thomas Wies; Damien Zufferey
Typeconference paper
Year2013
Citekeypiska2013automating

Where it appeared

Published inComputer Aided Verification
PublisherSpringer
Pages773--789

Identifiers

DOI10.1007/978-3-642-39799-8_54
OpenAlexW1580779595

Access

Landing pagehttps://doi.org/10.1007/978-3-642-39799-8_54

Where this came from

How it got herethe agent went looking · found via openalex
First seen2026-08-04
Standingendorsed
Approved2026-08-07
In: Computer Aided Verification (CAV) venue Lecture Notes in Computer Science series

Cite it as

@inproceedings{piska2013automating,
  title = {Automating Separation Logic Using SMT},
  author = {Ružica Piskač and Thomas Wies and Damien Zufferey},
  year = {2013},
  booktitle = {Computer Aided Verification},
  pages = {773--789},
  publisher = {Springer},
  doi = {10.1007/978-3-642-39799-8_54},
  url = {https://doi.org/10.1007/978-3-642-39799-8_54},
}

This record lives at https://refs.drheap.org/piska2013automating/ and will keep doing so.