Formális módszerek tárgy határidők

A Formális módszerek tárgy teljesítéséhez szükséges aktuális (2012. tavaszi) követelmények és határidők olvashatók a tárgy web lapján.