Verification by Reduction to Functional Programs
Event details
| Date | 25.08.2017 |
| Hour | 18:15 |
| Speaker | Régis William BLANC |
| Location | |
| Category | Thesis defenses |
Thesis director : Prof. V. Kuncak
Computer and Communication Sciences doctoral program
Thesis 7636
Practical information
- General public
- Free