@inproceedings{CTT100711039,
  author = {山田一宏 and 渡部卓雄 and 森口草介 and 西崎真也},
  title = {証明支援系を用いたMorrisの二分木走査アルゴリズムの検証},
  booktitle = {情報処理学会研究報告ソフトウェア工学},
  year = 2011,
}

@inproceedings{CTT100711038,
  author = {渡部卓雄 and 森口草介 and 山田一宏 and 西崎真也},
  title = {プログラム変換を用いたポインタ操作プログラムの検証にむけて: Morrisの二分木走査アルゴリズムによるケーススタディ},
  booktitle = {信学技報},
  year = 2011,
}