International Workshop on Formal Methods and Agile Methods (2 : 2010 : Pisa) Bezüge im Wissensnetz Veranstaltungsort (1) GND Pisa