British Computer Society. Formal Methods in Standards Working Group Bezüge im Wissensnetz Administrative Überordnung der Körperschaft (1) GND-Körperschaften British Computer Society