denutoDesign by contract for JavaScriptdesigncontractinvariantrequiresensuresadaeiffel0.1.2 • Published 8 years ago