Working Formal Methods Symposium (2. : 2018 : Iaşi) Bezüge im Wissensnetz Veranstaltungsort (1) GND Iaşi Homepage (1) GND from-2018