-A A +A

BOOM! Big data meets formal methods 2018

Alessandro Abate will be presenting the keynote session within BOOM!  Big data meets formal methods workshop. This workshop will be held within CONFESTA 2018, taking place on the 8th Septemeber 2018, Beijing China. 

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.