researchmap
 
researchmapはメンテナンスを行っております。再開は、令和2年2月4日(火)16:00を予定しています。
 

研究キーワード  [ higher-order model checking ]

総件数: 2件


  • <
  • >
  • 東京大学
    大学院情報理工学系研究科  
    教授
  • 九州大学
    大学院システム情報科学研究院 情報知能工学部門  
    助教

  • <
  • >