The .NET contract wizard: Adding design by contract to languages other than Eiffel (2001)

by K Arnout, R Simon
Venue:Proc. TOOLS’39