SSCLI RFP II Capstone Workshop – Embedded Formal Verification Assistants in the .NET Framework

Date

September 19, 2005

Overview