論文

査読有り

2016年

書き換え規則の重なりに基づく到達可能性判定法

コンピュータソフトウェア

島貫健太郎
青戸等人
外山芳人

巻: 33
号: 3
開始ページ: 93
終了ページ: 107
記述言語: 日本語
掲載種別: 研究論文（学術雑誌）
DOI: 10.11309/jssst.33.3_93
出版者・発行元: ソフトウェア科学会

リンク情報

DOI: https://doi.org/10.11309/jssst.33.3_93

ID情報

DOI : 10.11309/jssst.33.3_93

エクスポート: BibTeX RIS

論文リストへ