Alexei Lisitsa, Andrei P. Nemytykh, editors, First International Workshop on Verification and Program Transformation, VPT 2013, Saint Petersburg, Russia, July 12-13, 2013. Volume 16 of EPiC Series, EasyChair, 2013. [doi]
Conference: CAV2013
@proceedings{cav-2013vpt,
title = {First International Workshop on Verification and Program Transformation, VPT 2013, Saint Petersburg, Russia, July 12-13, 2013},
year = {2013},
url = {http://www.easychair.org/publications/?page=1244513262},
researchr = {https://researchr.org/publication/cav-2013vpt},
cites = {0},
citedby = {0},
booktitle = {First International Workshop on Verification and Program Transformation, VPT 2013, Saint Petersburg, Russia, July 12-13, 2013},
conference = {cav},
editor = {Alexei Lisitsa and Andrei P. Nemytykh},
volume = {16},
series = {EPiC Series},
publisher = {EasyChair},
}