Príspevok k metódam testovania digitálnych systémov - Baláž, Marcel (SAV Ústav informatiky, 2010)