@article{weko_16603_1,
   author	 = "藤乘靖士 and 奈良,信介 and 後藤祐一 and 程京徳",
   title	 = "追加機能を含んだAda 95 プログラムのためのタスキングデッドロック検出ツール",
   journal	 = "情報処理学会論文誌プログラミング（PRO）",
   year 	 = "2005",
   volume	 = "46",
   number	 = "SIG14(PRO27)",
   pages	 = "70--70",
   month	 = "oct"
}