-A A +A

Paper accepted to CAV 2018

CounterExample Guided Inductive Synthesis Modulo Theories  - Alessandro Abate, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen

CONTACT US

Department of Computer Science

Wolfson Building, Parks Rd, Oxford OX1 3QD

T: +44 (0) 18656 10767

 

Education - This is a contributing Drupal Theme
Design by WeebPal.