Software Verification by Combining Program Analyses of Adjustable Precision
Event details
| Date | 24.09.2010 |
| Hour | 17:30 |
| Speaker | Monsieur Grégory Théoduloz |
| Location | |
| Category | Thesis defenses |
Directeur de thèse : Prof. T. Henzinger
Informatique
Practical information
- General public
- Free