查看会员资料
用 户 名：Ta***
发送消息- Email：用户隐藏
- Icq/MSN：
- 电话号码：
- Homepage：
- 会员简介：
最新会员发布资源
Distributed_Verification_of_Multi-threaded_CPP_pr
- Distributed Verification of Multi-threaded C++ Programs Stefan Edelkamp1,2 Shahid Jabbar 1,3 Damian Sulewski 1,4 Department of Computer Science University of Dortmund Dortmund, Germany