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



