メンバー紹介 - ::情報処理学会SE研究会卓越研究賞::
受賞論文：Towards scalable model checking of reflective systems via labeled transition systems, IEEE Transactions on Software Engineering
受賞者：Kenji Tei, Yasuyuki Tahara, and Akihiko Ohsuga
学内サイト記事