2017年10月
Construction of Abstract State Graphs for Understanding Event-B Models
Symposium on Dependable Software Engineering (SETTA 2017)
- ,
- ,
- 開始ページ
- 250
- 終了ページ
- 265
- 記述言語
- 英語
- 掲載種別
- 研究論文（国際会議プロシーディングス）
本位田 真一
Shinichi Honiden
更新日: 01/31