Refinement Workshop (18. : 2018 : Oxford) Bezüge im Wissensnetz Veranstaltungsort (1) GND Oxford In Beziehung stehende Konferenz oder Veranstaltung (1) GND 1164191195 Veranstalter oder Gastgeber (1) GND British Computer Society. Specialist Group in Formal Aspects of Computing Science