5/30 - text příspěvku - Jiří Boleslav / TOS Kuřim - 13 s.

rozhodovací_tabulky  (usnadnění verifikace programů),  kvalita_SW  (verifikace programů),  aplikovaná_informatika  (RT a verifikace programů),