@techreport{oai:ipsj.ixsq.nii.ac.jp:00237358,
 author = {岸, 知二 and Tomoji, Kishi},
 issue = {4},
 month = {Jul},
 note = {形式手法と機械学習との接点や相乗効果について様々な議論や研究がおこなわれている．本稿では特に形式検証に焦点を当て，機械学習支援による形式検証のあり方について，いくつかの基本的な考察を行う．},
 title = {機械学習支援による形式検証についての考察},
 year = {2024}
}