The .NET Contract Wizard: Adding Design by Contract to Languages other than Eiffel (2001)

by Karine Arnout, Raphaël Simon
Venue:In Proceedings of TOOLS