Ing.

Lenka Holíková

Ph.D.

Member

+420 54114 1178
ituronova@fit.vut.cz
A219 Office
124425/BUT personal ID

Products

2018

MINA: A Tool for Verification of Programs with an Unbounded Number of Threads, software, 2018
Authors: HOLÍK, L.; HOLÍKOVÁ, L.; VOJNAR, T.