%0 Conference Paper %1 conf/issre/OwenDC06 %A Owen, David %A Desovski, Dejan %A Cukic, Bojan %B ISSRE %D 2006 %I IEEE Computer Society %K dblp %P 321-330 %T Effectively Combining Software Verification Strategies: Understanding Different Assumptions. %U http://dblp.uni-trier.de/db/conf/issre/issre2006.html#OwenDC06 %@ 0-7695-2684-5

@inproceedings{conf/issre/OwenDC06, added-at = {2023-03-24T00:00:00.000+0100}, author = {Owen, David and Desovski, Dejan and Cukic, Bojan}, biburl = {https://www.bibsonomy.org/bibtex/21c055c20477b99cda9a0e292590eda60/dblp}, booktitle = {ISSRE}, crossref = {conf/issre/2006}, ee = {https://doi.ieeecomputersociety.org/10.1109/ISSRE.2006.24}, interhash = {e6cff097dff50f6fef385ad6ada78ced}, intrahash = {1c055c20477b99cda9a0e292590eda60}, isbn = {0-7695-2684-5}, keywords = {dblp}, pages = {321-330}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:52:00.000+0200}, title = {Effectively Combining Software Verification Strategies: Understanding Different Assumptions.}, url = {http://dblp.uni-trier.de/db/conf/issre/issre2006.html#OwenDC06}, year = 2006 }