Laure Gonnord
_Teaching_ProgramAnalysis
Program Analysis, safety program verification
Home
CV
Research
Research-main
Students
Projects
Seminars
Compil Research School 2015
Sync Research School 2014
Aspic
Phd thesis
Habilitation
Papers
Teaching (fr)
Agenda
Contact Me
Useful Links
La page de D. Monniaux
à Verimag
Organisation
This course was opened in
2015/16
and
2016/17
.
Laure Gonnord (LYON1, LIP) and David Monniaux (CNRS, VERIMAG).