Specification and Verification for Java-like Languages

Topics in Specification and Verification for Java-like Languages Seminar (Com S 610 GL, Spring 2007) Home Page

This is the home page of the seminar Topics in Specification and Verification for Java-like Languages (Com S 610 GL, Spring 2007) at Iowa State University, as taught by Gary T. Leavens.

Get the Latest News for the seminar

The latest news about the seminar is available as an RSS feed. We recommend using an RSS reader (such as Sage for Firefox) to keep up with the news about this course. However, you can also just read the news as a web page. (If you use Safari on a Mac, apparently you will only be able to see the preceding link in RSS, but don't worry, that will be fine.)

Last modified Wednesday, January 17, 2007.