-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. 


Oxford Control and Verification (OXCAV) Group

C/O 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.