项目描述 ：
面向对象软件规格缺陷检测的eclipse插件

高级语言： Java

项目主页：

项目地址: git://github.com/wjpjw/statechart_model_checking_eclipse_plugin.git

创建时间： 2015-03-10T01:50:18Z
项目社区：https://github.com/wjpjw/statechart_model_checking_eclipse_plugin
开源协议：
下载