Counter-based Abstraction for Symbolic Execution

Varování

Publikace nespadá pod Ekonomicko-správní 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