Programas por dbc-utilities.sf.net

O projeto fornecerá um conjunto muito pequeno de classes de utilidade utilizáveis para verificação de invariantes de classe pré e pós-condições