Ing. Lenka Turoňová

Products

2018MINA: A Tool for Verification of Programs with an Unbounded Number of Threads, software, 2018
Authors: Holík Lukáš, Turoňová Lenka, Vojnar Tomáš

Your IPv4 address: 3.81.28.94
Switch to https