Ostatní výsledky
-
2011
DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, zpráva odborná, 2011
Autoři: DUDKA, V.; FIEDOR, J.; KŘENA, B.; VOJNAR, T. -
2010
A Uniform Classification of Common Concurrency Errors, zpráva odborná, 2010
Autoři: FIEDOR, J.; KŘENA, B.; LETKO, Z.; VOJNAR, T.