Logic of Programs CS 6860

CS 6860 Fall 15:

Announcements:

Instructor:

Robert Constable

Time:

Tues/Thurs

10:10AM - 11:25AM

Location:

Upson 215

Textbook
CS6860 - Fall 2015

Textbook

Readings