Counter-based Abstraction for Symbolic Execution

• Autoři: TRTÍK Marek
• Rok publikování: 2010
• Druh: Konferenční abstrakty
• Fakulta / Pracoviště MU: Fakulta informatiky

Související projekty

• Rozsáhlé výpočetní systémy: modely, aplikace a verifikace