Decision Procedures for Program Synthesis and Verification
Event details
| Date | 05.12.2011 |
| Hour | 17:00 |
| Speaker | Madame Ruzica Piskac |
| Location | |
| Category | Thesis defenses |
Directeur de thèse : Prof. V. Kuncak
Informatique
Practical information
- General public
- Free