基本情報

所属
国立情報学研究所
SOKENDAI

J-GLOBAL ID
201301081821616922

Software Engineering; Program Verification; Model-Checking.

経歴

  1

学歴

  1

論文

  6