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