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

Questions and Answers

Often a student will ask a question that provokes an answer of use to other students. When this happens, in addition to answering the student directly, we will post a copy of the email (or a summary of the question and answer) in the following.

current archive of questions and answers

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.