PUBLIC   marks

ON THIS LINK

Spec#

by ms_michel
Spec# is a formal language for API contracts, which extends C# with constructs for non-null types, preconditions, postconditions, and object invariants.

Comments

No comment on this link yet. React !


PUBLIC TAGS
on this link

developpement  

BY

ms_michel
the 19/02/2009 at 14:27