项目描述 ：
A Smart Contract Language based on design by contract and Event-B

高级语言： Java

项目主页：

项目地址: git://github.com/KonnerEL/Smarty.git

创建时间： 2019-04-10T05:59:14Z
项目社区：https://github.com/KonnerEL/Smarty
开源协议：
下载