Registered
by
Federico Tomassetti
A framework that provides design by contract for java using annotations checking at compile time and instrumentation (permanent or at load time).
View full history Series and milestones
trunk series is the current focus of development.
