Testovanie, diagnostika a verifikácia digitálnych systémov - Gramatová, Elena, 1948-; Jelemenská, Katarína, 1962- (Nakladateľstvo STU, 2012)