I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Towards automatic synthesis of software verification tools

Reference:

Andrey Rybalchenko. Towards automatic synthesis of software verification tools. In Schneider-Kamp and Hanus, pages 3–4.

Suggested BibTeX entry:

@inproceedings{DBLP:confppdpRybalchenko11,
    author = {Andrey Rybalchenko},
    booktitle = {PPDP},
    editor = {Peter Schneider-Kamp and Michael Hanus},
    pages = {3-4},
    publisher = {ACM},
    title = {Towards automatic synthesis of software verification tools},
    year = {2011}
}

This work is not available online here.