CodeEssence.Annotations (nuget): Annotations to assist with design by contract software correctness principles.
Keywords: code|contracts|design|by|contract