Principles of Model Checking(Model Checking经典书籍)

上传:qeenson 浏览: 73 推荐: 0 文件:PDF 大小:5.11MB 上传时间:2019-05-28 04:38:58 版权申诉
ModelChecking经典书籍,如果做形式化验证的话属于必读系列
上传资源
用户评论