Verified Functional Programming
Event details
| Date | 16.08.2019 |
| Hour | 18:00 |
| Speaker | Nicolas Charles Yves VOIROL |
| Location | |
| Category | Thesis defenses |
Thesis Director: Prof. V. Kuncak,
Computer and Communication Sciences doctoral program
Thesis Nr. 9479
Practical information
- General public
- Free