Workshop on Formal Integrated Development Environment (4. : 2018 : Oxford) Bezüge im Wissensnetz Veranstaltungsort (1) GND Oxford Homepage (1) GND fideworkshop2018