start
This is an old revision of the document!
W11-CSE3341M - Introduction to Program Verification
Lecture Times
- Mon./Wed. 4-5.30pm BC-215
- Important: Subscribe to: 3311 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.1293826557.txt.gz · Last modified: 2010/12/31 20:15 by jonathan