International Symposium on Formal Methods in Architecture (5. : 2020 : Lissabon) Bezüge im Wissensnetz Veranstaltungsort (1) GND Lissabon