国内会議発表 (査読なし・不明)

• 山田一宏, 渡部卓雄, 森口草介, 西崎真也. 証明支援系を用いたMorrisの二分木走査アルゴリズムの検証, 情報処理学会ソフトウェア工学研究会, 情報処理学会研究報告ソフトウェア工学, Vol. SE-171, No. 26, pp. 1-4, Mar. 2011.  公式リンク  
  
• 渡部卓雄, 森口草介, 山田一宏, 西崎真也. プログラム変換を用いたポインタ操作プログラムの検証にむけて: Morrisの二分木走査アルゴリズムによるケーススタディ, 電子情報通信学会ソフトウェアサイエンス研究会(SIGSS), 信学技報, 電子情報通信学会, Vol. 110, No. 458, pp. 97-102, Feb. 2011.  公式リンク  
  

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]