Introduction to Formal Methods CS 5860

CS 5860 Fall 14:

Announcements:

Projects due Thursday, December 11. Early submissions greatly encouraged!

Instructor:

Robert Constable

Time:

Mon/Weds

10:10AM - 11:25AM

Location:

Upson 211