start
This is an old revision of the document!
W11-CSE3341M - Introduction to Program Verification
Lecture Times
- Tuesdays/Thursday 11.30am-1pm BC-215
- Important: Subscribe to: 3341 Forum for the latest announcements. Please ask all questions relating to the course material on the forum (not via email). For all other questions, see me during office hours. Read the course outline regularly.
- Office hours: Mon. 5.30-6.15pm & Thu. 1-1.45pm in the SEL (CSE2056).
Course Description
start.1293826496.txt.gz · Last modified: 2010/12/31 20:14 by jonathan