Chương trình theo dbc-utilities.sf.net

Desing by Contract Utilities Miễn phí

Dự án sẽ cung cấp một tập hợp rất nhỏ các lớp tiện ích có thể sử dụng để kiểm tra bất biến lớp trước và sau điều kiện