@article{weko_62943_1,
   author	 = "石川裕 and 佐藤充 and 中島耕太 and 住元,真司 and 久門,耕一 and 木村,かず子 and 鈴木,敦夫",
   title	 = "学と産の連携による基盤ソフトウェアの先進的開発:2.次世代高性能コンピュータシステム上の高信頼ソフトウェアシステムの開発支援技術",
   journal	 = "情報処理",
   year 	 = "2008",
   volume	 = "49",
   number	 = "11",
   pages	 = "1240--1245",
   month	 = "nov"
}