Verimag

bibtex

@inproceedings{BM8,
    title = {{A Coq Tactic for Equality Learning in Linear Arithmetic} },
    author = {Boulm\'e, Sylvain and Mar\'echal, Alexandre},
    year = {2018},
    booktitle = {Interactive Theorem Proving (ITP)},
    publisher = {Springer},
    volume = {10895},
    team = {PACSS},
}

Publication Sections


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

info visites 1032616