iContract - The Java Design by Contract Tool (1998)

by Reto Kramer
Venue:In Technology of Object-Oriented Languages. TOOLS 26 Proceedings