Second-order constraints in dynamic invariant inference

Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young

Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

1 Paper in conference proceeding

1 results

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. (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 proceeding › Paper in conference proceeding