COMP 681 Formal Methods:
Spring 2009 QUIZ AND EXAM SOLUTIONS

These documents are in in PDF format.
If you don't have Adobe Acrobat Reader you can download it,
 at no cost , by following this link: