Programming by contract

Redirect to:

• Design by contract