On July 30th, 2024, due to an important database update, there will be service interruptions in the Student Self-Service and Workforce Management areas between 8 AM and 11 AM. Thank you for your understanding.
185.A93 Formal Methods in Computer Science
2021W, UE, 2.0h, 3.0EC