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}
}