Introduction to Formal Specification & Verification (356-0-1)
Instructors
Hai Zhou
Meeting Info
Technological Institute MG28: Mon, Wed 3:30PM - 4:50PM
Overview of class
Contact the department for further information