查看会员资料
- Email:用户隐藏
- Icq/MSN:qq
- 电话号码:
- Homepage:
- 会员简介:这家伙很懒,什么都没留下!
最新会员发布资源
WebjetChecker
- 这是我们参加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