Automated Verification Techniques 

VIMIMA29  |  Computer Engineering MSc  |  Semester: 2  |  Credit: 5  |  Official course details

Vörös András
András Vörös

associate professor

Course coordinator