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:	Rozsáhlé výpočetní systémy: modely, aplikace a verifikace