Formal Methods and Agile Methods
2. FM+AM 2010: Pisa, Italy
- Stefan Gruner, Bernhard Rumpe:
FM+AM 2010 - Second International Workshop on Formal Methods and Agile Methods, 17 September 2010, Pisa (Italy). LNI 179, GI 2010, ISBN 978-3-88579-273-4 [contents]