Programmi di dbc-utilities.sf.net

Il progetto fornirà un set molto piccolo di classi di utilità utilizzabili per il controllo degli invarianti di classe pre e postcondizioni