@techreport{weko_22677_1,
   author	 = "堀田博文 and 永瀬淳夫 and 細谷僚一",
   title	 = "設定参照グラフを用いたプログラム誤り自動検出法",
   year 	 = "1982",
   institution	 = "日本電信電話公社横須賀電気通信研究所, 日本電信電話公社横須賀電気通信研究所, 日本電信電話公社横須賀電気通信研究所",
   number	 = "1(1982-SE-023)",
   month	 = "may"
}