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.

Proving programs robust

Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Sara NavidPour. Proving programs robust. In Tibor Gyimóthy, Andreas Zeller, editors, SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13rd European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011. pages 102-112, ACM, 2011. [doi]

Authors

Swarat Chaudhuri

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

Sumit Gulwani

This author has not been identified. Look up 'Sumit Gulwani' in Google

Roberto Lublinerman

This author has not been identified. Look up 'Roberto Lublinerman' in Google

Sara NavidPour

This author has not been identified. Look up 'Sara NavidPour' in Google
runs on