Counter-based Abstraction for Symbolic Execution

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

TRTÍK Marek

Rok publikování 2010
Druh Konferenční abstrakty
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.