@inproceedings{weko_102853_1,
   author	 = "島田,工 and 前澤,悠太 and 鄭,顕志 and 田辺,良則 and 本位田,真一",
   title	 = "Scalaの並行プログラム検査における状態空間探索手法",
   booktitle	 = "ソフトウェアエンジニアリングシンポジウム2014論文集",
   year 	 = "2014",
   volume	 = "2014",
   number	 = "",
   pages	 = "54--59",
   month	 = "aug"
}