Formal verification (2025-2026)

mondays 12:15-13:45 (lecture) / 14:15-15:45 (tutorial), room P112@Pasteura 7

Lecture 12

summary