International Symposium on Leveraging Applications of Formal Methods (10. : 2021 : Rhodos, Stadt) Bezüge im Wissensnetz Veranstaltungsort (1) GND Rhodos (Stadt)