@proceedings{DBLP:conf/fmam/2010,
editor = {Stefan Gruner and
Bernhard Rumpe},
title = {FM+AM 2010 - Second International Workshop on Formal Methods
and Agile Methods, 17 September 2010, Pisa (Italy)},
booktitle = {FM+AM},
publisher = {GI},
series = {LNI},
volume = {179},
year = {2010},
isbn = {978-3-88579-273-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}