@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00223392,
 author = {安井, 裕 and 治田, 倫男 and 永田, 恒一 and 藤田, 安臣},
 book = {第14回プログラミング—シンポジウム報告集},
 month = {Jan},
 pages = {93--105},
 publisher = {情報処理学会},
 title = {計算機によるソフトウェアの検査の機械化について},
 volume = {1973},
 year = {1973}
}