Tesis doctoral de Enric Rodríguez Carbonell
Datos académicos de la tesis doctoral «Automatic generation of polynomial invarianst for systema verification«
- Título de la tesis: Automatic generation of polynomial invarianst for systema verification
- Autor: Enric Rodríguez Carbonell
- Universidad: Politécnica de catalunya
- Fecha de lectura de la tesis: 08/06/2006
Dirección y tribunal
- Director de la tesis
- Robert Lukas Mario Nieuwenhuis
- Tribunal
- Presidente del tribunal: jordi Cortadella fortuny
- patrick Cousot (vocal)
- zohar Manna (vocal)
- Manuel Hermenegildo salinas (vocal)