Verimag

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

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 4 ; visits: 438183