Frontier of Research on High-Confidence Software
Summer 2012, University of Science and Technology of China
News and Announcements
[07/25/2012] Lecture notes updated.
[07/23/2012] Lecture notes and assignment posted.
[07/21/2012] Lecture notes for 07/20 and 07/21 posted.
[07/20/2012] Assignment 1 due today. Assignment 2 posted, due on 07/23.
[07/19/2012] Assignment 1 due tomorrow. Lecture notes for 07/19 posted.
[07/17/2012] Lecture notes posted.
[07/17/2012] Starting from tomorrow, class meets at 8:40am instead of 7:50am.
[07/17/2012] Welcome to this class! Please take a look at
for details about this course.
Copyright (c) 2012,
School of Computer Science and Technology
University of Science and Technology of China