bibtex

@phdthesis{Mor05,
    title = {Exploitation des structures r\'eguli\`eres et des sp\'ecifications locales pour le d\'eveloppement correct de syst\`emes r\'eactifs de grande taille },
    author = {Morel, Lionel},
    year = {2005},
    school = {Institut National Polytechnique de Grenoble},
    team = {SYNC},
}


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

info visites 3748582