263-4630-00L Computer-Aided Modelling and Reasoning
| Semester | Spring Semester 2023 |
| Lecturers | C. Sprenger |
| Periodicity | non-recurring course |
| Language of instruction | English |
| Places | 40 at the most |
| Priority | Registration for the course unit is until 05.03.2023 only possible for the primary target group |
| Primary target group | Cyber Security MSc (260000)
Cyber Security MSc (EPFL) (260100) Computer Science MSc (263000) DAS ETH in Cyber Security (268000) |
| Waiting list | until 10.03.2023 |