Dang Van Hung and Mizuhito Ogawa
Event name
Dang Van Hung and Mizuhito Ogawa
Country
Austria
Event format Veranstaltungsformat
On Site
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 |