Verimag

bibtex

@phdthesis{Loi94,
    title = {V\'erification symbolique de programmes r\'eactifs \`a l'aide d'abstractions },
    author = {Loiseaux, Claire},
    month = {feb},
    year = {1994},
    school = {Universit\'e Joseph Fourier, Grenoble},
    team = {DCS},
}

Publication Sections


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

Logged in visitors: 7 ; visits: 452106