OFFERS - a tool for hierarchical implicit analysis of sequential object-oriented programs.

Rajeev R. Raje, Daniel Pease, Edward T. Guy

Browse the full SAC paper archive.