Auflistung nach Autor:in "Candea, George"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragEfficient state merging in symbolic execution (extended abstract)(Software Engineering 2014, 2014) Kuznetsov, Volodymyr; Kinder, Johannes; Bucur, Stefan; Candea, George