Programy według dbc-utilities.sf.net

Projekt zapewni bardzo mały zestaw klas użytkowych, które można sprawdzić w klasach invariants przed i po warunkach