開發者 dbc-utilities.sf.net

該專案將提供一組非常小的實用程式類，用於檢查類不變量的預置和後置條件