山岡裕司, 胡 振江, 武市 正人, 小川瑞史: "モデル検査技術を利用したプログラム解析の生成ツール"情報処理学会論文誌. 44・13. 25-37 (2003)
山岡裕司, 胡 振江, 武市 正人, 小川瑞史: "モデル検査技術を利用したプログラム解析の生成ツール"情報処理学会論文誌. 44・13. 25-37 (2003)
复制标题
山冈雄二、胡镇江、武一正人、小川水志：“使用模型检查技术的程序分析生成工具”日本信息处理学会杂志44・13（2003）。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
