next up previous contents
Next: Specification and Verification I Up: Michaelmas Term 2000: Part Previous: Information Theory and Coding

Project Briefing II

Lecturer: Professor M.J.C. Gordon (

No. of lectures: 1


Project proposal, progress report, writing the dissertation. Backing up. Assessment. Timetable and deadlines: penalty for late submission.

Christine Northeast
Wed Sep 20 15:13:44 BST 2000