@inproceedings{weko_198953_1,
   author	 = "大西,孝臣 and 吉村,斎 and 阿部,司 and 稲川,清 and 山本,椋太 and 堀,武司",
   title	 = "工業高等専門学校の学生に対する形式手法B-Methodの学生実験の実践",
   booktitle	 = "ソフトウェアエンジニアリングシンポジウム2019論文集",
   year 	 = "2019",
   volume	 = "2019",
   number	 = "",
   pages	 = "135--144",
   month	 = "aug"
}