I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Dual analysis for proving safety and finding bugs

Reference:

Corneliu Popeea and Wei-Ngan Chin. Dual analysis for proving safety and finding bugs. In SAC, pages 2137–2143, March 2010.

Suggested BibTeX entry:

@inproceedings{PopeeaSAC10,
    author = {Corneliu Popeea and Wei-Ngan Chin},
    booktitle = {SAC},
    month = {March},
    pages = {2137-2143},
    title = {Dual analysis for proving safety and finding bugs},
    year = {2010}
}

This work is not available online here.