@phdthesis{oai:repository.dl.itc.u-tokyo.ac.jp:00006251,
 author = {井上, 拓},
 month = {Sep},
 note = {学位の種別:課程博士, 審査委員会委員 : （主査）東京大学教授 江崎 浩, 東京大学教授 平木 敬, 東京大学教授 石川 正俊, 東京大学教授 稲葉 雅幸, 国立情報学研究所教授 本位田 真一},
 school = {東京大学, University of Tokyo},
 title = {ビジネスコンポーネントに跨る参照整合性のためのUML/OCL振舞いモデルの静的解析の研究},
 year = {2013}
}