山形頼之

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

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

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

English »

最新投稿

Curriculum vitae

Curriculum Vitaeを公開しました。

この1年間の論文

最近の論文です。

国際会議RV

国際会議RV2017で共著論文が発表される予定です。