修士二年の李家隆がIPSJ/SIGSEソフトウェアエンジニアリングシンポジウム2020でポスター発表を行いました． 「離散制御器合成における設計誤りを特定するための反例出力手法」 李 家隆, 相澤 和也, 鄭 顕志, 本位田 真一 IPSJ/SIGSEソフトウェアエンジニアリングシンポジウム2020(SES2020) 2020年9月
