Programas por dbc-utilities.sf.net

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