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.

Effectively Combining Software Verification Strategies: Understanding Different Assumptions

David Owen, Dejan Desovski, Bojan Cukic. Effectively Combining Software Verification Strategies: Understanding Different Assumptions. In 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 7-10 November 2006, Raleigh, North Carolina, USA. pages 321-330, IEEE Computer Society, 2006. [doi]

Authors

David Owen

This author has not been identified. Look up 'David Owen' in Google

Dejan Desovski

This author has not been identified. Look up 'Dejan Desovski' in Google

Bojan Cukic

This author has not been identified. Look up 'Bojan Cukic' in Google
runs on