日本ソフトウェア科学会第37回大会での発表

  • Sep 09, 2020

卒業生の荒井滉平君が日本ソフトウェア科学会第37回大会で発表を行いました.

「Event-Bによるリファインメントのパターン最適化」

  • 荒井 滉平,本位田 真一,鄭 顕志
  • 日本ソフトウェア科学会第37回大会 2020年9月