by Thomas Ströder
Reference:
Graph-based Methods for Analysis and Synthesis of Programs (Thomas Ströder), In Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, GITO mbH Verlag, 2011.
Bibtex Entry:
@inproceedings{Stroeder2011,
author = {Str"{o}der, Thomas},
title = {Graph-based Methods for Analysis and Synthesis of Programs},
booktitle = {Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science},
year = {2011},
location = {Dagstuhl, Germany},
pages = {84},
publisher = {GITO mbH Verlag},
address = {Berlin, Germany}
}