Second-order constraints in dynamic invariant inference

Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young

Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceedingpeer-review

9 Citations (SciVal)
Filter
Paper in conference proceeding

Search results

  • Paper in conference 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. (eds.). Gesellschaft fur Informatik, p. 93-94 2 p. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. P227).

    Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding