A feladatkiírások, határidők és csapatbeosztások megtekinthetőek a vonatkozó tárgyak honlapjain.
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.
