2010
Counter-based Abstraction for Symbolic Execution
TRTÍK, MarekZákladní údaje
Originální název
Counter-based Abstraction for Symbolic Execution
Název anglicky
Counter-based Abstraction for Symbolic Execution
Autoři
Vydání
YRF@MFCSL 2010, 2010
Další údaje
Typ výsledku
Konferenční abstrakt
Utajení
není předmětem státního či obchodního tajemství
Organizační jednotka
Fakulta informatiky
Příznaky
Recenzováno
Změněno: 16. 9. 2011 16:11, Mgr. Marek Trtík, Ph.D.
Návaznosti
MUNI/A/0914/2009, interní kód MU |
|