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ů),
5/30 - text příspěvku - Jiří Boleslav / TOS Kuřim - 13 s.