@article{CTT100652447,
  author = {森口草介 and 渡部卓雄},
  title = {定理証明支援系Coqへの対話的修正機構の導入},
  journal = {情報処理学会論文誌プログラミング（PRO）},
  year = 2012,
}

@inproceedings{CTT100701001,
  author = {安原由貴 and 森口草介 and 渡部卓雄},
  title = {組込みシステムのための文脈指向仕様記述に向けて},
  booktitle = {},
  year = 2012,
}

@inproceedings{CTT100701002,
  author = {Ilankaikone Senthooran and Takuo Watanabe},
  title = {A Model-Based Approach to Constructing Safe Soft Real-Time Programs for Non-Real-Time Environments},
  booktitle = {},
  year = 2012,
}

@inproceedings{CTT100770946,
  author = {渡部卓雄 and 鈴木将哉},
  title = {Objective-Cによる文脈指向プログラミングの実現手法},
  booktitle = {電子情報通信学会技術研究報告},
  year = 2012,
}

@inproceedings{CTT100700999,
  author = {Sosuke Moriguchi and Takuo Watanabe},
  title = {Abstraction of Operations of Aspect-Oriented Languages},
  booktitle = {Theory and Practice of Computation, Proceedings in Information and Communications Technology},
  year = 2012,
}