|
|
|
|
|
|
|
![](../../../00global/00pics/green-tl.png) |
|
![](../../../00global/00pics/green-tr.png) |
|
Publications - Towards automatic synthesis of software verification tools
|
|
![](../../../00global/00pics/green-bl.png) |
|
![](../../../00global/00pics/green-br.png) |
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}
}
|
![](../g/pixel.png) |
| This work is not available online here. |
|
|
|
|
|
|
|
|