Second-order constraints in dynamic invariant inference

Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young

Forskningsoutput: Kapitel i bok/rapport/Conference proceedingKonferenspaper i proceedingPeer review

9 Citeringar (SciVal)
Filter
Konferenspaper i proceeding

Sökresultat

  • Konferenspaper i proceeding

    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 proceedingKonferenspaper i proceeding