高橋宏夢さん（情報学専攻博士前期2年）が第17回情報科学技術フォーラムにてFIT奨励賞を受賞
2018年10月12日
高橋宏夢さん（情報学専攻博士前期2年）が、2018年9月19日～21日にかけて開催された第17回情報科学技術フォーラムにおいて、FIT奨励賞を受賞しました。
【受賞者】
高橋宏夢
【発表タイトル】
形式手法 B Method の細粒度部品の結合による高信頼ソフトウェアの合成
- （新しいウィンドウが開きます）情報処理学会
- 表彰状
2018年10月12日
高橋宏夢さん（情報学専攻博士前期2年）が、2018年9月19日～21日にかけて開催された第17回情報科学技術フォーラムにおいて、FIT奨励賞を受賞しました。
【受賞者】
高橋宏夢
【発表タイトル】
形式手法 B Method の細粒度部品の結合による高信頼ソフトウェアの合成