bibtex

@inproceedings{RIS7,
    title = { Reasoning in the {Bernays-Sch{\"{o}}nfinkel-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},
    crossref = {DBLP:conf/vmcai/2017},
    pages = {462--482},
    team = {RSD, axe_Mohytos},
    timestamp = {Wed, 24 May 2017 08:30:31 +0200}, biburl = {https://dblp.org/rec/bib/conf/vmcai/ReynoldsIS17}, bibsource = {dblp computer science bibliography, https://dblp.org},
}

URL


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

info visites 4190877