Verimag

bibtex

@phdthesis{Gar10,
    title = {Automatisation de la Certification Formelle de Syst\`emes Critiques par Instrumentation d'Interpr\'eteurs Abstraits },
    author = {Garnacho, Manuel},
    month = {aout},
    year = {2010},
    school = {Universit\'e de Grenoble},
    team = {DCS},
}

Publication Sections


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

info visites 911688