Ing. Kamil Dudka

2010An Easy to Use Infrastructure for Building Static Analysis Tools, software, 2010
Authors: Dudka Kamil, Peringer Petr, Vojnar Tomáš
 Predator: A Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic, software, 2010
Authors: Dudka Kamil, Peringer Petr, Vojnar Tomáš

Your IPv4 address: 38.107.179.220
Switch to IPv6 connection

DNSSEC [dnssec]