Verifikácia konkurentných programov napísaných v jazyku JAVA - Šajtlava, Igor, 1987- (STU v Bratislave FEI, 2012)