Login / Signup
Design by Contract: Making Object-Oriented Programs that Work.
Bertrand Meyer
Published in:
TOOLS (25) (1997)
Keyphrases
</>
specification languages
object oriented programs
data sets
databases
machine learning
case study
building blocks
formal specification