山形頼之

国立研究開発法人 産業技術総合研究所 主任研究員

所属: 情報技術研究部門 ソフトウエアアナリティクス研究グループ

研究テーマ: ソフトウェアの形式検証ほか

English »

最新投稿

RV2016のスライドとかな漢字変換エンジン

RV2016での発表スライドとかな漢字変換エンジン(の部品)を公開しました。