AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS 11th International Symposium, ATVA 2013
Book title Buchtitel
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS 11th International Symposium, ATVA 2013
Publisher Herausgeber
Springer LNCS 8172
Subject
Date issued
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Biere, Armin ; Knoop, Jens ; Kovacs, Laura ; Zwirchmayr, Jakob | SmacC: A Retargetable Symbolic Execution Engine | Konferenzbeitrag Inproceedings  | 2013 |