@inproceedings{DBLP:conf/fmam/BiancoSK10,
author = {Vieri Del Bianco and
Dragan Stosic and
Joseph R. Kiniry},
title = {Agile Formality: A Mole of Software Engineering Practices},
booktitle = {FM+AM},
year = {2010},
pages = {29-48},
ee = {http://subs.emis.de/LNI/Proceedings/Proceedings179/article6225.html},
crossref = {DBLP:conf/fmam/2010},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@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}
}