"階層構造の抽象化精錬によるステートチャートの自動検証", コンピュータソフトウェア
-
- 山根 智
- 金沢大学
書誌事項
- タイトル
- "階層構造の抽象化精錬によるステートチャートの自動検証", コンピュータソフトウェア
- 著者
- 山崎真一, 山根智
収録刊行物
-
- 日本ソフトウェア科学会 Vol.26,No.3
-
日本ソフトウェア科学会 Vol.26,No.3 155-170, 2009