An evaluation of the Teamwork CASE environment for specifications capture of hardware systems.

Apostolos Dollas, Scott L. Crutchfield

Browse the full RSP paper archive.