Computer Laboratory > Teaching > Course material 2009–10 > Software Verification
Principal lecturer: Dr Matthew ParkinsonTaken by: MPhil ACSSyllabus
Notes for the course:
© 2010 Computer Laboratory, University of CambridgePlease send any comments on this page to Dr Matthew ParkinsonLast modified 2010-04-21 11:21 by Matthew Parkinson