4. TITLE AND SUBTITLE: An Analysis of Specware and its Usefulness in the Verification of High Assurance Systems (2006)

by Daniel P. Decloss , Timothy Levin , Cynthia Irvine , Author(s Decloss , Daniel P