International Workshop on Formal Methods for Blockchains (5. : 2024 : Luxemburg, Stadt) Bezüge im Wissensnetz Veranstaltungsort (1) GND Luxemburg Homepage (1) GND 2024 Administrative Überordnung der Konferenz oder der Veranstaltung (1) GND 1328268551