这是我们参加06年全国开源软件的竞赛作品，已经在SourceForge上开源，是一个针对BPEL的形式化验证工具...
于 2022-03-18 发布
文件大小:10.24 MB
0 53
下载积分: 2
下载次数: 1
代码说明：
这是我们参加06年全国开源软件的竞赛作品，已经在SourceForge上开源，是一个针对BPEL的形式化验证工具-This is our country take part in open-source software in 2006 race works, has been on the SourceForge open source, is a response to the Formal Verification of BPEL tools
下载说明：请别用迅雷下载，失败请重下，重下不扣分！
发表评论
