|
关注：1
2013-05-23 12:21
求翻译：we implemented our approach in the invariant inference tool DYSY,built on top of the pex framework for instrumentation and symbolic of .NET programs是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
we implemented our approach in the invariant inference tool DYSY,built on top of the pex framework for instrumentation and symbolic of .NET programs
问题补充： |
|
2013-05-23 12:21:38
我们实施，不变推论工具dysy的，建在PEX框架之上仪器和象征，我们的做法。网方案
|
|
2013-05-23 12:23:18
我们实施的不变的方法推论dysy工具、内置的pex框架顶部的工具和象征性的.net程序
|
|
2013-05-23 12:24:58
正在翻译，请等待...
|
|
2013-05-23 12:26:38
我们不变的推理工具 DYSY，内置仪器仪表 pex 框架的顶部和象征性的实施我们的方法。净程序
|
|
2013-05-23 12:28:18
我们在不变式的推断工具DYSY实施了我们的方法，被打制在pex框架顶部为仪器工作和象征性.NET节目
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
