bibtex

@inproceedings{IRV4a,
    title = { Deciding Entailments in Inductive Separation Logic with Tree Automata },
    author = {Iosif, Radu and Rogalewicz, Adam and Vojnar, Tom{\'a}s},
    year = {2014},
    booktitle = {Automated Technology for Verification and Analysis - 12th International Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings},
    crossref = {DBLP:conf/atva/2014},
    pages = {201--218},
    team = {PACSS},
    timestamp = {Fri, 02 Nov 2018 09:35:17 +0100}, biburl = {https://dblp.org/rec/bib/conf/atva/IosifRV14}, bibsource = {dblp computer science bibliography, https://dblp.org},
}

URL

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 3.1.11 + AHUNTSIC [CC License]

info visites 1359890