Research Interests

Program Verification

Researchers with "Program Verification" in Research Interests

  • Daisuke Kimura
    Toho University
    Faculty of Science Associate professor
  • Tachio Terauchi
    Waseda University
    Department of Computer Science and Engineering Professor
  • Takeshi Tsukada
    Chiba University
    大学院理学研究院 数学・情報数理学研究部門 情報数理講座 准教授
  • Kazuko Takahashi
    Kwansei Gakuin University
    School of Science and Technology, Department of Informatics Associate Professor
  • Taro Sekiyama
    National Institute of Informatics
    アーキテクチャ科学研究系 准教授
  • Ryo Wakizaka
    Kyoto University
    Graduate School of Informatics Department of Communications and Computer Engineering Ph.D. student
  • Jianjun Zhao
    Kyushu University
    Faculty of Information Science and Electrical Engineering Professor
  • Ryosuke Sato
    Tokyo University of Agriculture and Technology
    Information Media Center 准教授
  • Mahmudul Faisal AL AMEEN
    National Institute of Informatics
  • Naoki Kobayashi
    東京大学
    大学院情報理工学系研究科 教授
To Research Interests list