@techreport{weko_30434_1,
   author	 = "直井,邦彰 and 高橋,直久",
   title	 = "経路依存フローグラフを用いたプログラム・スライスの形式的定義とその妥当性",
   year 	 = "1994",
   institution	 = "NTTソフトウェア研究所, NTTソフトウェア研究所",
   number	 = "94(1994-PRO-019)",
   month	 = "nov"
}