査読有り 筆頭著者 責任著者 2020年6月 行列計算に基づくモデル検査技術 ソフトウェア・シンポジウム2020 論文集 熊澤努, 小田朋宏 開始ページ 104 終了ページ 113 記述言語 日本語 掲載種別 研究論文(研究会,シンポジウム資料等) 出版者・発行元 ソフトウェア技術者協会 エクスポート BibTeX RIS