Workshop on Horn Clauses for Verification and Synthesis (5. : 2018 : Oxford) Bezüge im Wissensnetz Veranstaltungsort (1) GND Oxford Homepage (1) GND hcvs18