OSDN -- 開發和下載開源軟體
繁體中文翻譯狀態 translation status for zh-tw

Download of README (README ( external link: SF.net): 343 bytes) will begin shortly. If not so, click link on the left.

檔案信息

檔案大小
343 bytes
MD5
52875acbaca84ec9e50af0940f618c1b

你想去哪裡？

Go to the project page on OSDN 查看其他版本

專案描述

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.