Brazilian Symposium on Formal Methods (27. : 2024 : Vitória, Bundesstaat Espírito Santo) Bezüge im Wissensnetz Veranstaltungsort (1) GND Vitória (Bundesstaat Espírito Santo)