bibtex

@inproceedings{FDB+8,
    title = { Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing },
    author = {Farinier, Benjamin and David, Robin and Bardin, Sebastien and Lemerre, Matthieu},
    year = {2018},
    booktitle = {{LPAR-22.} 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018},
    pages = {363--380},
    team = {PACSS},
    timestamp = {Mon, 31 Dec 2018 12:25:19 +0100}, biburl = {https://dblp.org/rec/bib/conf/lpar/FarinierDBL18}, bibsource = {dblp computer science bibliography, https://dblp.org},
}

URL

Sections de Publications


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

info visites 1186655