Programma's van dbc-utilities.sf.net

Het project zal een zeer kleine set van utility klassen bruikbaar voor het controleren van klasse invarianten pre en postconditions