Publications | Lund University Publications

1 – 1 of 1

show: 10
|
sort: year (new to old)

News feed Embed this list Save this search Mark all Export

Cancel

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/search/publication?embed=1&q=keywords+exact+%22Second-order+constraints%22&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

2013
Mark Second-order constraints in dynamic invariant inference
Li, Kaituo ; Reichenbach, Christoph ^LU ; Smaragdakis, Yannis and Young, Michal (2013) 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 p.103-113
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding