en | de

SAT/SMT Solving

bachelor program

VU3  WS 2022/2023  703147

Lecturer

room consultation hours
PS Sarah Winkler 3M03 Wednesday13:00 – 15:00

Time & Place

VU Friday14:15 – 17:00 SR12 Sarah Winkler

Registration

Online registration is required