著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
北嶋 暁 and 森岡 澄夫 and 島谷 肇,代数的手法を用いたCPU KUE-CHIP2の段階的設計の正しさの自動証明,"電子情報通信学会論文誌. D-1, 情報・システム. 1, 情報処理 = The IEICE transactions on information and systems. Pt. 1",09151915,東京 : 電子情報通信学会情報・システムソサイエティ,1996-12,79,12,1017-1029,https://cir.nii.ac.jp/crid/1520572360260157696,