Effectively Combining Software Verification Strategies: Understanding Different Assumptions.

David Owen, Dejan Desovski, Bojan Cukic

Browse the full ISSRE paper archive.