2


On MS-Research Microsoft has a C#-compatible language called Spec#.
http://research.microsoft.com/en-us/projects/specsharp/

I found installer .msi only for Visual Studio 2008.
http://research.microsoft.com/en-us/downloads/8826adb9-8398-40d6-a22d-951923fe2647/

I found (don't remember where) and downloaded zip-package for Spec# 2010 but i found no installer.

How to install Microsoft Spec# in Visual Studio 2010? is it also possible to work with Visual Studio C# Express and Spec#?

thanks in advance Oops

OlimilOops
  • 6,747
  • 6
  • 26
  • 36

1 Answers1

3

This discussion should help you: http://specsharp.codeplex.com/discussions/230181

Daniel Hilgarth
  • 171,043
  • 40
  • 335
  • 443