@phdthesis{oai:shibaura.repo.nii.ac.jp:00000043,
 author = {青木 , 善貴},
 month = {2015-08-19},
 note = {2014},
 school = {芝浦工業大学},
 title = {ソフトウェアの品質向上のための開発現場におけるモデル検査技術を用いたソースコード検証の研究},
 year = {},
 yomi = {アオキ, ヨシタカ}
}