- 博客(0)
- 资源 (2)
空空如也
Formal Methods: State of the Art and Future Directions
关于形式化理论的权威综述,来自cmu的clarke和wing,非常简易有兴趣的同学看看
2010-07-26
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人
2010-07-26
TA创建的收藏夹 TA关注的收藏夹
TA关注的人