. "Spec#"@en . "Spec# is a programming language with specification language features that extends the capabilities of the C# programming language with Eiffel-like contracts, including object invariants, preconditions and postconditions. Like ESC/Java, it includes a static checking tool based on a theorem prover that is able to statically verify many of these invariants."@en . "SpecSharp 2011-10-03" . . . . . . "2011-10-07Z"^^ .