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

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

  1. FSOwner

    FSOwner 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

  1. This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
    By continuing to use this site, you are consenting to our use of cookies.
    Dismiss Notice