Applying ’design by contract (1992)

by B Meyer
Venue:Computer