虫虫首页| 资源下载| 资源专辑| 精品软件
登录| 注册

您现在的位置是:虫虫下载站 > 资源下载 > Java编程 > 这是我们参加06年全国开源软件的竞赛作品

这是我们参加06年全国开源软件的竞赛作品

  • 资源大小:10488 K
  • 上传时间: 2013-12-17
  • 上传用户:shsy22
  • 资源积分:2 下载积分
  • 标      签: 开源软件 竞赛

资 源 简 介

这是我们参加06年全国开源软件的竞赛作品,已经在SourceForge上开源,是一个针对BPEL的形式化验证工具

相 关 资 源