Counter-based Abstraction for Symbolic Execution
| TRTÍK, Marek. Counter-based Abstraction for Symbolic Execution. In YRF@MFCSL 2010. 2010. |
|
Další formáty:
BibTeX
LaTeX
RIS
|
| Základní údaje | |
|---|---|
| Originální název | Counter-based Abstraction for Symbolic Execution |
| Název anglicky | Counter-based Abstraction for Symbolic Execution |
| Autoři | TRTÍK, Marek. |
| 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ěnil | Změnil: Mgr. Marek Trtík, Ph.D., učo 329313. Změněno: 16. 9. 2011 16:11. |
| Návaznosti | |
|---|---|
| MUNI/A/0914/2009, interní kód MU | Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace (Akronym: SV-FI MAV) |
| Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace, DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty | |
VytisknoutZobrazeno: 19. 4. 2024 03:17