http://www.cs.iastate.edu/~leavens/JML-spec-verif-seminar/ News about the Specification and Verification Seminar at Iowa State University en-us http://blogs.law.harvard.edu/tech/rss Gary T. Leavens <leavens@cs.iastate.edu> Tue, 17 Apr 2007 15:43:00 CDT http://www.cs.ru.nl/ftfjp/2004/Purity.pdf Tue, 17 Apr 2007 15:42:00 CDT The paper for April 23 is Mike Barnett, David A. Naumann, and Wolfram Shculte's 99.44% pure: Useful Abstractions in Specifications. In FTfJP 2004. News about the Specification and Verification Seminar http://www.cs.iastate.edu/~leavens/JML-spec-verif-seminar/syllabus.shtml Mon, 26 Mar 2007 15:23:00 CDT The syllabus has been updated to the paper for April 2, which pushes back all of the other papers by one week. News about the Specification and Verification Seminar