bibtex

@inproceedings{BM5,
    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, , axe_FormalProofs},
}

URL


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

info visites 4193337