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

Teaching schedule:

• Spring 2012:
  • Fall 2012:
    • CS-735/835: Introduction to Parallel & Distributed Programming
    
    
  • Spring 2013:
    • CS-671: Programming Languages Concepts and Features
    
    
  • Fall 2013:
    • CS-745/845: Formal Specification and Verification of Systems
    
    

  This week:

  ---

  Michel Charpentier <>
  Last modified: Mon Dec 3 21:34:59 EST 2012