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.

A Formal Approach to Fixing Bugs

Sara Kalvala, Richard Warburton. A Formal Approach to Fixing Bugs. In Adenilso da Silva Simão, Carroll Morgan, editors, Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers. Volume 7021 of Lecture Notes in Computer Science, pages 172-187, Springer, 2011. [doi]

Authors

Sara Kalvala

This author has not been identified. Look up 'Sara Kalvala' in Google

Richard Warburton

This author has not been identified. Look up 'Richard Warburton' in Google
runs on