Automated Induction for Proving Program Equivalence
Event details
| Date | 26.05.2025 |
| Hour | 13:00 |
| Speaker | Dragana MILOVANCEVIC |
| Location | |
| Category | Thesis defenses |
Thesis Director: Prof. V. Kuncak,
Computer and Communication Sciences doctoral program
Thesis Nr. 10552
To take part in the public defense, please contact directly the speaker
Practical information
- General public
- Free