Oxford Control and Verification
Department of Computer Science
Department of Computer Science, University of Oxford
Wolfson Building, Parks Road
Oxford -
OX1 3QD
UK
Email: alessandro.abate@cs.ox.ac.uk
Find us on twitter [@Ox_CAV]