Reference:

Sergey Grebenshchikov, Nuno P. Lopes, Corneliu Popeea, and Andrey Rybalchenko. Synthesizing software verifiers from proof rules. In PLDI, pages 405–416, June 2012.

Suggested BibTeX entry:

@inproceedings{GrebenshchikovPLDI12,
    author = {Sergey Grebenshchikov and Nuno P. Lopes and Corneliu Popeea and Andrey Rybalchenko},
    booktitle = {PLDI},
    month = {June},
    pages = {405-416},
    title = {Synthesizing software verifiers from proof rules},
    year = {2012}
}