@article{weko_204332_1,
   author	 = "大西,孝臣 and 吉村,斎 and 阿部,司 and 稲川,清 and 山本,椋太 and 堀,武司",
   title	 = "工業高等専門学校の学生に対する形式手法B-Methodの学生実験の実践",
   journal	 = "情報処理学会論文誌",
   year 	 = "2020",
   volume	 = "61",
   number	 = "4",
   pages	 = "863--883",
   month	 = "apr"
}