Michel Charpentier Department of Computer Science University of New Hampshire Contact information About me

Teaching schedule:

• Spring 2008:
  • CS-671: Programming Languages Concepts and Features
  • CS-645: Introduction to Formal Specification
• Fall 2008:
  • CS-671: Programming Languages Concepts and Features
  • CS-845: Formal Specification and Verification of Systems

This week:

Michel Charpentier <>