@techreport{weko_22370_1,
   author	 = "手島,文彰 and 井上,勝博 and 岸本,卓也 and 三原,幸博",
   title	 = "システム設計における仕様検証の一手法",
   year 	 = "1989",
   institution	 = "システム・ソフトウェア技術研究所株式会社東芝, システム・ソフトウェア技術研究所株式会社東芝, 家電技術研究所株式会社東芝, システム・ソフトウェア技術研究所株式会社東芝",
   number	 = "52(1989-SE-066)",
   month	 = "jun"
}