卒業生の荒井滉平君が日本ソフトウェア科学会第37回大会で発表を行いました． 「Event-Bによるリファインメントのパターン最適化」 荒井 滉平，本位田 真一，鄭 顕志 日本ソフトウェア科学会第37回大会 2020年9月