Spec# Presentation

added by martinig
1/22/2010 8:06:38 AM

0 Kicks, 80 Views

Spec# is a formal language for API contracts (influenced by JML, AsmL, and Eiffel), which extends C# with constructs for non-null types, preconditions, postconditions, and object invariants.


0 comments