Course schedule Semantics and the Verification of Software [WM-I-SWP] Winter semester 2023/24
- Winter semester 2024/25
- Winter semester 2023/24
- Winter semester 2022/23
- Winter semester 2021/22
All lectures are taking place in this building: (in Polish) e-learning