Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
"來間, 啓伸 and 佐藤, 直人 and 中川, 雄一郎 and 小川, 秀人 and Hironobu, Kuruma and Naoto, Sato and Yuichiroh, Nakagawa and Hideto, Ogawa",Formal Verification and Testing of Machine Learning Based Software Using Combination of Deductive and Inductive Development Methods,情報処理学会論文誌,1882-7764,,2020-02-15,61,2,407-416,https://cir.nii.ac.jp/crid/1050565162619627136,