Long Title: AUTOMATED PROGRAM VERIFICATION
Department: Computer Science
Instructors:
Meeting: 3:00PM - 4:29PM M (7-JAN-2013 - 19-APR-2013)
Part of Term: Full Term
Grade Mode: Satisfactory/Unsatisfactory
Course Type: Lecture
Method of Instruction: Face to Face
Credit Hours: 1