Com S 641/Refinement Calculus Seminar

General Info. Seminar Homepage Seminar Syllabus Homework Directory Old 641 Homepage About Com S 641 Contacting Us Old 641 Syllabus Old 641 Course Grading Policies Old 641 Exams Reference Q & A Old 641 Meeting outlines Resources JML Links Refinement Calculus Java Formal Methods Department Homepage Iowa State U. Homepage

Thank You! Thank you for making suggestions to help us improve the course. Last modified Saturday, January 5, 2002.

This web page is for the Spring 2002 offering of Com S 641 or the Fall 2002 offering of Com S 610 GL at Iowa State University. The details of this course are subject to change as experience dictates. You will be informed of any changes. Please direct any comments or questions to Gary T. Leavens at leavens@cs-DOT-iastate-DOT-edu.