Computer Laboratory > Teaching > Course material 2009–10 > Software Verification

 

Software Verification
2009–10

Principal lecturer: Dr Matthew Parkinson
Taken by: MPhil ACS
Syllabus

Notes for the course:

Additional examples: Some notes for the exercises: An example final test: