Course: CS239-7 Computer-Aided Verification
Winter 2004
Instructor
:
Rupak Majumdar
(Email: rupak@cs.ucla.edu)
Lectures
: Monday, Wednesday 12:00-1:30 Location 5225 MS
Current
class web page