St 14:00 - 17:00 (4 v.hod.) M-II Prednáška Formálne špecifikácie I. Prívara