Treffer: Design by contract: the lessons of Ariane
Title:
Design by contract: the lessons of Ariane
Authors:
Source:
Computer. 30(1):129-130 Jan, 1997
Database:
IEEE Xplore Digital Library