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