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

Speaker  Ondrej Rysavy

Host  Mark Lewin

Duration  00:25:38

Date recorded  19 September 2005

©2005 Microsoft Corporation. All rights reserved.
> SSCLI RFP II Capstone Workshop – Embedded Formal Verification Assistants in the .NET Framework