研究キーワード

ソフトウェアの形式的方法方法論

研究キーワードが「ソフトウェアの形式的方法方法論」である研究者

ヤマサキススム

山崎進

Susumu Yamasaki

岡山大学

大学院自然科学研究科産業創成工学専攻計算機科学講座教授

研究キーワードリストへ