This distribution from Spec# is lacking the Visual Studio templates. Get the original from: 

http://research.microsoft.com/en-us/projects/specsharp/