• No matches found
  • No matches found
  • No matches found
Thumbnail

Automated Induction for Proving Program Equivalence

Start date: 26.05.2025 13:00

Speaker: Dragana MILOVANCEVIC Location: Category: Thesis defenses
Target audience: General public