Auflistung nach Autor "Reichenbach, Christoph"
Anzeige der Dokumente 1-3 von 3
-
Copy and paste redeemed
Narasimhan, Krishna; Reichenbach, Christoph
61-62 -
Residual investigation: predictive and precise bug detection
Li, Kaituo; Reichenbach, Christoph; Csallner, Christoph; Smaragdakis, Yannis
133-134 -
Second-order constraints in dynamic invariant inference
Li, Kaituo; Reichenbach, Christoph; Smaragdakis, Yannis; Young, Michal
93-94