[ACM Press the 2013 9th Joint Meeting - Saint Petersburg, Russia (2013.08.18-2013.08.26)] Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 - Second-order constraints in dynamic invariant inference
Li, Kaituo, Reichenbach, Christoph, Smaragdakis, Yannis, Young, MichalYear:
2013
Language:
english
DOI:
10.1145/2491411.2491457
File:
PDF, 308 KB
english, 2013