Second-order constraints in dynamic invariant inference

Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young

Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding › Peer review

9 Citeringar (SciVal)

9 Citeringar
1 Konferenspaper i proceeding

1 resultat

Filter

2014
Second-order constraints in dynamic invariant inference
Li, K., Reichenbach, C., Smaragdakis, Y. & Young, M., 2014, Software Engineering 2014. Hasselbring, W. & Ehmke, N. C. (red.). Gesellschaft fur Informatik, s. 93-94 2 s. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. P227).
Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding