Ing. Vendula Hrubá

2011Nástroj propojující dynamickou analýzu a bounded model checking, software, 2011
Autoři: Fiedor Jan, Hrubá Vendula, Křena Bohuslav, Vojnar Tomáš
2010Nástroj pro přehrávání běhu programu (Replay Tracer & BMC), software, 2010
Autoři: Fiedor Jan, Hrubá Vendula, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš

Vaše IPv4 adresa: 23.22.76.170
Přepnout na IPv6 spojení

DNSSEC [dnssec]