@misc
{TN_libero_mab2,
author = {
International Workshop on Verification and Program Transformation 1. 2013 Sankt Petersburg
Lisitsa, Alexei
AND
Nemytykh, Andrei
},
title = {
VPT 2013
First International Workshop on Verification and Program Transformation
},
publisher = {EasyChair},
keywords = {
Konferenzschrift
},
year = {July 25, 2013},
abstract = {"This volume contains the papers presented at VPT 2013: First International Workshop on Verification and Program Transformation held on July 12-13, 2013 in Saint Petersburg. The workshop was affiliated with the 25th International Conference on Computer Aided Verification CAV 2013." - Vorwort},
abstract = {Laut Webseite des Workshops fand dieser vom 13.-14. Juli statt und die übergeordnete Konferenz vom 13.-19. Juli},
abstract = {Literaturangaben},
booktitle = {EPiC series in computing ; volume 16},
address = {
[Manchester]
},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}