Automated Verification Techniques 

A tantárgy neve magyarul / Name of the subject in Hungarian: Automatizált ellenőrzési technikák