A system for analysis and verification of software design.

Linda S. Hammond, Daniel L. Murphy, Mark K. Smith

Browse the full COMPSAC paper archive.