Extracting Traceability between Predicates in Event-B Refinement
Extracting Traceability between Predicates in Event-B Refinement
复制标题
在事件 B 细化中提取谓词之间的可追溯性
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Shinnosuke Saruwatari
中科院分区：
文献类型：
--
作者：
Ishikawa Shogo;Kashikawa Nobunari;Toshikawa Jun;Tanaka Masayuki;Hamana Takashi;Niino Yuu;Ichikawa Kohei;Uchiyama Hisakazu;大槻知世;Tsutomu Kobayashi and Fuyuki Ishikawa;大槻知世;石川将吾;小林 努;石川将吾;Shinnosuke Saruwatari
