Symposium on Working Formal Methods (3. : 2019 : Timişoara) Bezüge im Wissensnetz Veranstaltungsort (1) GND Timişoara Homepage (1) GND from2019.projects.uvt.ro