研究キーワード

Program Verification

研究キーワードが「Program Verification」である研究者

  • チョウ ケングン
    Zhao Jianjun
    九州大学大学院
    システム情報科学研究院 教授
  • Takeshi Tsukada
    東京大学
    大学院情報理工学系研究科
  • Ryosuke Sato
    九州大学
    大学院システム情報科学研究院 情報知能工学部門 助教
  • キム ラダイスケ
    Daisuke Kimura
    東邦大学
    理学部 講師
  • コバヤシ ナオキ
    Naoki Kobayashi
    東京大学
    大学院情報理工学系研究科 教授
  • タカハシ カズコ
    Kazuko Takahashi
    関西学院大学
    理工学部 情報科学科 理工学部 情報科学科 助教授
  • Mahmudul Faisal AL AMEEN
    国立情報学研究所
  • テラウチ タチオ
    Tachio Terauchi
    早稲田大学
    理工学術院 基幹理工学部 情報理工学科 教授