Second-order constraints in dynamic invariant inference

Li, Kaituo; Reichenbach, Christoph; Smaragdakis, Yannis; Young, Michal (2014): Second-order constraints in dynamic invariant inference. Software Engineering 2014. Bonn: Gesellschaft für Informatik. PISSN: 1617-5468. ISBN: 978-388579-621-3. pp. 93-94. Regular Research Papers. Kiel. 25. Februar-28. Februar 2014