CSE914 -- Topics for Formal Methods for Software Development

Instructor Information

T,Th, 3:00-4:20, 1230 EB

Instructor:Dr. B. Cheng, chengb@cse.msu.edu
Class:             T, Th: 3:00-4:20
Office Hours: by appointment

Course Information

Homework, Reading, and Presentation Assignments
Project Information 

Useful Links

Writing Resources ( Bugs in Writing, Elements of Style -- online version of book)

Last modified: January 16, 2014, B. Cheng