Workshop on Formal Integrated Development Environment (5. : 2019 : Porto, Portugal) Bezüge im Wissensnetz Veranstaltungsort (1) GND Porto (Portugal) In Beziehung stehende Konferenz oder Veranstaltung (1) GND 1196707030 Homepage (1) GND fideworkshop2019.inesctec.pt