Программы dbc-utilities.sf.net

Проект обеспечит очень небольшой набор утилит классов, которые можно было бы можно ставить для проверки класса invariants pre и postconditions