Po	16:30 - 19:30	 (4 v.hod.) 	M-VII	Kurz	2-AIN-185	Formálne metódy tvorby softvéru	D. Gruska