@inproceedings{weko_193863_1,
   author	 = "佐藤,直人 and 來間,啓伸 and 金子,昌永 and 中川,雄一郎 and 小川,秀人 and ホン,タイソン and バトラー,マイケル",
   title	 = "DeepSaucer: Verification Environment for Deep Neural Networks",
   booktitle	 = "ウィンターワークショップ2019・イン・福島飯坂 論文集",
   year 	 = "2019",
   volume	 = "2019",
   number	 = "",
   pages	 = "7--8",
   month	 = "jan"
}