Spec# - Microsoft Research - discu.eu

Lambda the Ultimate

Spec# http://www.research.microsoft.com/specsharp/ 8 comments 4/5/2005 Software Engineering

Linking pages

What Exactly Are You Trying To Prove? | You’ve Been Haacked http://haacked.com/archive/2007/11/16/what-exactly-are-you-trying-to-prove.aspx 15 comments
Spec# Puts an End to Null Reference Exceptions http://www.infoq.com/news/2007/04/specsharp 1 comment

Related searches:

Search whole site: site:www.research.microsoft.com

Search title: Spec# - Microsoft Research

See how to search.

Submit link to: