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},
}


Contact | Plan du site | Site réalisé avec SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3899637