【文件属性】：
文件名称：Formal Methods: State of the Art and Future Directions
文件大小：294KB
文件格式：PDF
更新时间：2013-08-15 11:48:27
formal method, survey
关于形式化理论的权威综述，来自cmu的clarke和wing，非常简易有兴趣的同学看看
网友评论
- 写论文正要用，还不错的