Meyer, Bertrand <br/><br/>
Toward more expressive contracts 

<br/><br/><label>Subjects--Topical Terms: </label><br/>PROGRAMMING LANGUAGES<br/>TECHNOLOGICAL CHANGE<br/>OBJECT ORIENTED PROGRAMMING
<br/><br/><label>Universal Decimal Class. No.: </label>H004.415 JOU