Computer Aided Formal Verification (2019-20)
Main content blocks
No contacts
Course information
Course term: Michaelmas
Course lecture information: Lectures are held at the Department of Computer Science.
Course overview:
This course is taught by the Department of Computer Science, for further information, please click on: http://www.cs.ox.ac.uk/teaching/courses/2018-2019/computeraidedverification/
External Lecturer(s):
Prof Alessandro Abate