David Owen Dejan Desovski Bojan Cukic Effectively Combining Software Verification Strategies: Understanding Different Assumptions. 321-330 2006 conf/issre/2006 ISSRE http://doi.ieeecomputersociety.org/10.1109/ISSRE.2006.24 db/conf/issre/issre2006.html#OwenDC06