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