Mike Barnett

Mike Barnett has been at Microsoft Research since 1995. He is happiest when working on program specification technology. Before working on Code Contracts for .NET, he was part of the Spec# project.

Sessions

Creative Commons License

© 2013 Microsoft. Except where designated as licensed by
Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 License,
Microsoft reserves all rights associated with the materials on this site.