@techreport{weko_23221_1, author = "本山,英典 and 古関,聰 and 小松,秀昭 and 深澤,良彰", title = "プログラムの信頼性向上を目的とした補助スレッドの効率的利用", year = "2005", institution = "早稲田大学大学院理工学研究科, 日本IBM(株)東京基礎研究所, 日本IBM(株)東京基礎研究所, 早稲田大学大学院理工学研究科", number = "19(2004-ARC-162)", month = "mar" }