The Oxford Control and Verification (OxCAV) group is part of the Department of Computer Science at the University of Oxford led by Prof. Alessandro Abate.

ID: 970701163791290369

linkhttps://www.oxcav.org calendar_today05-03-2018 16:42:47