CS1502 Formal Methods in Computer Science, Spring 2004
Contents
Professor: Janyce Wiebe, wiebe@cs.pitt.edu
Teaching Assistant: Brian Smyth, bps@cs.pitt.edu
Schedule of readings, homeworks, and exams
Lecture Notes
Syllabus
Survey to fill out