Verimag

bibtex

@article{GP09,
    title = {Convincing Proofs for Program Certification },
    author = {Garnacho, Manuel and P\'erin, Micha\"el},
    year = {2009},
    journal = {Electronic Notes in Theoretical Computer Science},
    number = {4},
    pages = {41-56},
    volume = {238},
    team = {DCS,PACSS},
    ee = {http://dx.doi.org/10.1016/j.entcs.2009.09.005},
}

Publication Sections


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

info visites 792726