Formal Methods Reading Seminar (Fall 2012) Home Page

This is the home page of the Formal Methods Reading Seminar (for Fall 2012) at the University of Central Florida. The seminar is led by professor 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 the RSS Subscription Extension by Google for Google Chrome or Sage for Firefox) to keep up with the news about this course. However, in many browsers you can also just read the news as a web page. (If you use Google Chrome or if you use Safari on a Mac, then apparently you will only be able to see the preceding link in an RSS reader.)

Last modified Monday, November 18, 2013.