Spec#

Spec# is a extension to C# which add contracts to the language. Contracts are nothing new, it has been around for decades, but aren’t present in most popular languages. In…

Read more