Laure Gonnord
_Teaching_ProgramAnalysis
Program Analysis, safety program verification
Home
CV
Research
Research-main
Students
Projects
ANR CODAS
Seminars
Compil Research School 2015
Sync Research School 2014
EJCP research School series
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).