Memento
Automated Induction for Proving Program Equivalence
Start date: 26.05.2025 13:00
Speaker: Dragana MILOVANCEVIC Location: BC 420 Category: Thesis defenses Target audience: General public