@misc{oai:repository.dl.itc.u-tokyo.ac.jp:00004129,
 author = {熊澤, 努},
 month = {Mar},
 title = {高信頼性ソフトウェアシステムの実現のためのモデル修正技術に関する研究},
 year = {2011}
}