@article{weko_203162_1,
   author	 = "來間,啓伸 and 佐藤,直人 and 中川,雄一郎 and 小川,秀人",
   title	 = "演繹的開発手法と帰納的開発手法の結合に基づく機械学習適用ソフトウェアの形式検証とテスト",
   journal	 = "情報処理学会論文誌",
   year 	 = "2020",
   volume	 = "61",
   number	 = "2",
   pages	 = "407--416",
   month	 = "feb"
}