@phdthesis{oai:repository.dl.itc.u-tokyo.ac.jp:02004828,
 author = {木村, 悠介 and KIMURA, Yusuke},
 month = {Mar},
 note = {学位の種別: 課程博士, 審査委員会委員 : （主査）東京大学教授 藤田 昌宏, 東京大学教授 坂井 修一, 東京大学教授 田浦 健次朗, 東京大学准教授 中山 雅哉, 東京大学准教授 佐藤 周行},
 school = {東京大学, The University of Tokyo},
 title = {論理デバッグ・ECO のための自動修正技術に関する研究},
 year = {2020}
}