ICECCS2015

に が投稿

ICECCS2015＠オーストラリアで，Si-Mohamed Lamraouiが研究発表を行います：

  • Hardened Flow-Sensitive Trace Formula for Fault Localization (Si-Mohamed Lamraoui, 中島震, 細部博史)