design by contract

• Programming languages for Wall Street
  by Finnian Reilly (modified: 2010 Apr 28)

  Tags:
  • dbc
  • design by contract
• AutoProof: Contract-Based Formal Verification Environment for Eiffel
  by javier (modified: 2025 Aug 07)

  Tags:
  • eiffel
  • design by contract
  • Boogie
  • Program Verification