<a href="http://www.cs.cornell.edu/Info/Courses/Fall-95/CS717/Topics.html">CS717 Cool Software Tools Seminar</a> <i><a href="http://www.cs.cornell.edu/Info/People/wwlee/purify.ps"> --- Purify/Quantify/WARTS Presentation </a></i> <li>
