@techreport{weko_87957_1,
   author	 = "狩野,大樹 and 清水,尚彦",
   title	 = "UML図を用いた設計検証の自動化手法の開発",
   year 	 = "2013",
   institution	 = "東海大学, 東海大学／IP ARCH，Inc.",
   number	 = "25",
   month	 = "jan"
}