TechFest 2007 - Automatically Proving Concurrent Programs Correct

Speaker  Byron Cook

Affiliation  Microsoft Research

Host  Shobana Balakrishnan

Duration  00:42:35

Date recorded  8 March 2007

©2007 Microsoft Corporation. All rights reserved.
> TechFest 2007 - Automatically Proving Concurrent Programs Correct