@techreport{weko_25014_1,
   author	 = "坪谷,英昭 and 平井,寿美 and 門田,憲明 and 西,直樹 and 田中,稔 and 市川,忠男",
   title	 = "高信頼性ソフトウェアの開発を支援する計算機システム",
   year 	 = "1984",
   institution	 = "広島大学工学部, 広島大学工学部, 広島大学工学部, 広島大学工学部, 広島大学工学部, 広島大学工学部",
   number	 = "8(1984-ARC-053)",
   month	 = "may"
}