European Research Consortium for Informatics and Mathematics. Working Group on Formal Methods for Industrial Critical Systems Bezüge im Wissensnetz Als Veranstalter oder Gastgeber beteiligt (1) GND 1309941114 Administrative Überordnung der Körperschaft (1) GND-Körperschaften European Research Consortium for Informatics and Mathematics