Versions of COP 5021
This page gives acess to information about the course "Programming Analysis" (COP 5021) as taught by Gary T. Leavens. at the University of Central Florida.
The following offerings are available.
- Principles of Program Analysis by Flemming Nielson, Hanne Riis Nielson, and Chris Hankin (Springer-Verlag, 1999, 2005) in Spring 2008.
- Principles of Program Analysis by Flemming Nielson, Hanne Riis Nielson, and Chris Hankin (Springer-Verlag, 1999, 2005) taught at Iowa State University in Spring 2006.