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.87.147.184
Switch to https