event-B入门基础手册

【文件属性】：

文件名称：event-B入门基础手册

文件大小：926KB

文件格式：PDF

更新时间：2021-10-11 08:11:53

event-b 代码生成方法

从文献中发现该方法能够用于代码的自动生成。Event-B的入门用书，里面讲解了详细的语法。可用于参考