bibtex

@techreport{BM7c,
    title = { Toward Certification for Free! },
    author = {Boulm\'e, Sylvain and Mar\'echal, Alexandre},
    month = {Jul},
    year = {2017},
    howpublished = {HAL plateform},
    institution = {Univ. Grenoble Alpes, CNRS, Grenoble INP, VERIMAG, 38000 Grenoble, France},
    team = {PACSS, , axe_FormalProofs},
}

URL


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

info visites 3885735