Spec#

programming language with specification language features that extends the capabilities of the C# programming language

Created Year: 2004
Developed by: Microsoft Research

Wikidata: Q1717800

Programming paradigms: multi-paradigm programming

Search on GitHub


Latest data update: 2022-09-16