@techreport{weko_22098_1,
   author	 = "伊東,栄典 and 川口,豊 and 古川,善吾 and 牛島,和夫",
   title	 = "C並行処理プログラムのプロセス間通信に関するテスト充分性評価について",
   year 	 = "1993",
   institution	 = "九州大学工学部情報工学科, 九州大学工学部情報工学科, 九州大学情報処理教育センター, 九州大学工学部情報工学科",
   number	 = "13(1992-SE-090)",
   month	 = "feb"
}