Brazilian Symposium on Formal Methods (13 : 2010 : Natal, Rio Grande do Norte) Bezüge im Wissensnetz Als Vorherige Konferenz oder Veranstaltung beteiligt (1) GND 16329489-6 Veranstaltungsort (1) GND Natal (Bundesstaat Rio Grande do Norte) Nachfolgende Konferenz oder Veranstaltung (1) GND 16329489-6