Frontier of Research on High-Confidence Software

Summer 2012, University of Science and Technology of China


Course Information


Schedule


Lecture Notes


Assignments


Reading Matherials



News and Announcements



Copyright (c) 2012, Xinyu Feng, School of Computer Science and Technology, University of Science and Technology of China