Teaching
Consulting hours
Wednesday, 13:00-15:00, B/A220 (Božetěchova 1/2, Brno 61200)
Thursday, 13:00-15:00, B/A220 (Božetěchova 1/2, Brno 61200)
Lectured courses
| SAV |
Static Analysis and Verification
Lecture, Czech, winter, DITS |