Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Aktuelle Kontaktadresse
| Land | Frankreich |
|---|---|
| Ort | Cachan |
| Universität/Institution | Ecole Normale Superieure de Cachan |
| Institut/Abteilung | Departement d'Informatique |
Profil
| Fachgebiet | Theoretische Informatik,Grundlagen der Mathematik, Logik, Mengenlehre |
|---|---|
| Keywords | proof of programms, static analysis, verification, model-checking |