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


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

info visites 4187550