Programmes par dbc-utilities.sf.net

Le projet fournira un très petit ensemble de classes de services publics utilisables pour vérifier les invariants de classe avant et après les conditions