@techreport{oai:kyutech.repo.nii.ac.jp:00003571,
 author = {Ubayashi, Naoyasu and 鵜林, 尚靖},
 month = {Feb},
 note = {研究期間：2007～2009, 研究種目：基盤研究（C）, 科学研究費補助金研究成果報告書},
 title = {検証可能なモデルコンパイラに関する研究},
 year = {2010},
 yomi = {ウバヤシ, ナオヤス}
}