Verimag

bibtex

@inproceedings{BM15,
    title = { Refinement to Certify Abstract Interpretations, Illustrated on Linearization for Polyhedra },
    author = {Boulm\'e, Sylvain and Mar\'echal, Alexandre},
    year = {2015},
    booktitle = {Interactive Theorem Proving - 6th International Conference, {ITP} 2015, Nanjing, China, August 24-27, 2015, Proceedings},
    pages = {100--116},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {9236},
    team = {DCS,PACSS},
}

URL

Publication Sections


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

info visites 792515