Mgr. Adam Rogalewicz, Ph.D.

2010Forester: A Tool for Verification of Programs with Pointers, software, 2010
Authors: Habermehl Peter, Holík Lukáš, Rogalewicz Adam, Šimáček Jiří, Vojnar Tomáš
2007ARTMC - Abstract Regular Tree Model Checking, software, 2007
Authors: Rogalewicz Adam, Vojnar Tomáš

Your IPv4 address: 38.107.179.217
Switch to IPv6 connection

DNSSEC [dnssec]