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

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...
 
Top