« 1.0 Defining Characteristics | Main | 3.0 Design by Contract (DbC) »

July 23, 2004