著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) "大西, 孝臣 and 吉村, 斎 and 阿部, 司 and 稲川, 清 and 山本, 椋太 and 堀, 武司",工業高等専門学校の学生に対する形式手法B-Methodの学生実験の実践,ソフトウェアエンジニアリングシンポジウム2019論文集,,,2019-08-22,2019,,135-144,https://cir.nii.ac.jp/crid/1050855522099656704,