Microsoft Research developed Spec#, and later extended it into Sing# in order to develop the Singularity operating system.
Microsoft Research разработала Spec#, и позднее расширила его, превратив в Sing#, для разработки операционной системы Singularity.