Verimag

bibtex

@inproceedings{'RIS7',
    title = { Reasoning in the Bernays-Sch\"onfinkel-Ramsey Fragment of Separation Logic },
    author = {Reynolds, Andrew and Iosif, Radu and Serban, Cristina},
    year = {2017},
    booktitle = {Verification, Model Checking, and Abstract Interpretation - 18th International Conference, {VMCAI} 2017, Paris, France, January 15-17, 2017, Proceedings},
    pages = {462--482},
    team = {PACSS},
    timestamp = {Thu, 12 Jan 2017 18:57:14 +0100}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/vmcai/ReynoldsIS17}, bibsource = {dblp computer science bibliography, http://dblp.org},
}

URL

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.25 + AHUNTSIC [CC License]

info visites 778672