Stage de recherche

Stage: Debogage de modeles comportementaux par analyse de contre-exemple

Ecole Nationale Supérieure de Physique de Grenoble, 2000

lacus at velit vivamus vel nulla eget eros elementum pellentesque quisque porta volutpat erat quisque erat eros viverra eget congue eget semper rutrum nulla nunc purus phasellus in