Long Title: AUTOMATED PROGRAM VERIFICATION
Department: Computer Science
Meeting: 3:00PM - 4:30PM MF (27-AUG-2007 - 7-DEC-2007)
Part of Term: Full Term
Grade Mode: Satisfactory/Unsatisfactory
Course Type: Lecture
Method of Instruction: Face to Face
Credit Hours: 1
Prerequisites: COMP 409