Auflistung nach Autor "Candea, George"
Anzeige der Dokumente 1-1 von 1
-
Efficient state merging in symbolic execution (extended abstract)
Kuznetsov, Volodymyr; Kinder, Johannes; Bucur, Stefan; Candea, George
45-46
- Startseite
- Auflistung nach Autor
Anzeige der Dokumente 1-1 von 1
Kuznetsov, Volodymyr; Kinder, Johannes; Bucur, Stefan; Candea, George
45-46