Kurz M-VII Formálne metódy tvorby softvéru Po 16:30 19:30 D. Gruska