4 ms·
There was also an older project known as Spec# at http://research.microsoft.com/en-us/projects/specsharp/ http://research.microsoft.com/en-us/projects/specsharp
by jefffoster 16y ago
There was also an older project known as Spec# at http://research.microsoft.com/en-us/projects/specsharp/ http://research.microsoft.com/en-us/projects/specsharp/