Hoare Logic and Model Checking
If you are reading this then no extra material has yet been
placed on the Web for this course.
Last year’s course materials are still available.
Department of Computer Science and Technology
Course pages 2023–24
If you are reading this then no extra material has yet been
placed on the Web for this course.
Last year’s course materials are still available.
© 2023 Department of Computer Science and Technology, University of Cambridge
Information provided by Dr Christopher Pulte – edit page