* Formal Methods * Educational Resources

Formal Methods Education Resources

Instructional Materials Submission Form

Main Page | Courses | Examples | Readings | Position Papers | Instructional Materials | Tools | Jobs | Submit


Title:

URL:

Developer(s):

Developer URL(s):

For what type of course is this material suitable? (check all that apply)
Hardware Verification
Software Verification
Software Modeling/Specification
Software Engineering
Introductory Computer Science
Logic
Other

Course URL (if used in a particular course):

Additional comments on these materials :

Email address of submitter (required - please double check before submitting):


This site is currently maintained by Kathi Fisler
Department of Computer Science, Worcester Polytechnic Institute
Last updated on Saturday, 05-Jul-2003 21:25:41 EST
Acknowledgements