Home
Basic Information
Announcements
Assignments
Syllabus
Contact Info
Topics in Formal Methods
CS 7485 Spring 2013
College of Computer and Information Science
Northeastern University
Professor
Pete Manolios
Office hours: TBD, WVH 346, and by request
Email: