Specification and Verification Tools Seminar (Fall 2008) Home Page
This is the home page of the Specification and Verification Tools Seminar (Fall 2008) at the University of Central Florida, 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 Friday, August 22, 2008.