1. This site uses cookies. By continuing to use this site, you are agreeing to our use of cookies. Learn More.

[WINDOWS]Expert to Expert: Contract Oriented Programming and Spec#

Discussion in 'Windows/*nix' started by Echo419, May 28, 2008.

  1. Echo419

    Echo419 FS Owner

    The Spec# programming system is being developed as a research project at Microsoft Research in Redmond, primarily by the Programming Languages and Methods group.

    More...
     

Share This Page