CSCI1951-X

Formal Proof and Verification

Offered this year and every year

Fall 2024

Instructor(s):
Location:CIT 241
Meeting Time:MW 9:30-10:50a
Exam Group:TBD
CRN:None