Auflistung nach Autor:in "Young, Michal"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragSecond-order constraints in dynamic invariant inference(Software Engineering 2014, 2014) Li, Kaituo; Reichenbach, Christoph; Smaragdakis, Yannis; Young, Michal