Haase et al, 2013

Summary

Christoph Haase, Samin Ishtiaq, Joel Ouaknine, and Matthew Parkinson (2013) SeLoger: A Tool for Graph-Based Reasoning in Separation Logic CAV 2013 Natasha Sharygina and Helmut Veith Springer 790–795 (URL)

BibTeX entry

@INPROCEEDINGS { HIOP-cav13,
    LOCATION = { Saint Petersburg, Russia },
    AUTHOR = { Haase, Christoph and Ishtiaq, Samin and Ouaknine, Joel and Parkinson, Matthew },
    BOOKTITLE = { CAV 2013 },
    CONFNAME = { {I}nternational {C}onference on {C}omputer {A}ided {V}erification },
    CONFNUM = { 23th },
    DOI = { 10.1007/978-3-642-39799-8_55 },
    EDITOR = { Sharygina, Natasha and Veith, Helmut },
    MONTH = { },
    PAGES = { 790--795 },
    PUBLISHER = { Springer },
    SERIES = { },
    TITLE = { SeLoger: A~Tool for Graph-Based Reasoning in Separation Logic },
    VOLUME = { 8044 },
    YEAR = { 2013 },
}