Formal Methods: State of the Art and Future Directions 上传者：CS36594DN 2021-04-21 22:45:52上传 APPLICATION/PDF文件 294KB 热度 15次 关于形式化理论的权威综述,来自cmu的clarke和wing,非常简易有兴趣的同学看看 下载地址 用户评论 更多下载
写论文正要用，还不错的