eventB入门基础手册 上传者：pt595657 2020-04-01 21:19:48上传 PDF文件 925.64KB 热度 33次 从文献中发现该方法能够用于代码的自动生成。Event-B的入门用书，里面讲解了详细的语法。可用于参考 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
