Kontrola ekvivalencie hardvérových návrhov pomocou matematickej logiky - Tkáč, Samuel, 1992- (STU v Bratislave FIIT, 2014)