External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Second-order constraints in dynamic invariant inference

Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young. Second-order constraints in dynamic invariant inference. In Bertrand Meyer, Luciano Baresi, Mira Mezini, editors, Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013. pages 103-113, ACM, 2013. [doi]

Authors

Kaituo Li

This author has not been identified. Look up 'Kaituo Li' in Google

Christoph Reichenbach

Identified as Christoph Reichenbach

Yannis Smaragdakis

This author has not been identified. It may be one of the following persons: Look up 'Yannis Smaragdakis' in Google

Michal Young

This author has not been identified. Look up 'Michal Young' in Google
runs on