@inproceedings{weko_223392_1,
   author	 = "安井,裕 and 治田,倫男 and 永田,恒一 and 藤田,安臣",
   title	 = "計算機によるソフトウェアの検査の機械化について",
   booktitle	 = "第14回プログラミング—シンポジウム報告集",
   year 	 = "1973",
   volume	 = "1973",
   number	 = "",
   pages	 = "93--105",
   month	 = "jan"
}