Algorithmic Resource Verification
Event details
Date | 09.11.2017 |
Hour | 18:00 |
Speaker | Ravichandhran KANDHADAI MADHAVAN |
Location | |
Category | Thesis defenses |
Thesis director : Prof. V. Kuncak
Computer and Communication Sciences doctoral program
Thesis 7885
Practical information
- General public
- Free