著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
"濱口, 毅 and 酒井, 正彦 and HAMAGUCHI, Takeshi and SAKAI, Masahiko",例外処理を含む関数型プログラム停止性証明のための条件付き依存対法,"電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学",09135685,一般社団法人電子情報通信学会,2013-07,113,160,61-66,https://cir.nii.ac.jp/crid/1050845763734814848,