Formális módszerek házi feladat védések

A Formális módszerek házi feladat és szorgalmi feladat védési időpontok elérhetők a tárgy házi feladat tudnivalókról szóló oldalán. A védéseket a konzulensek fogják ütemezni.