researchmap
 

Research Interests  [ higher-order model checking ]

2 items found


  • <
  • >
  • The University of Tokyo
    The Graduate School of Information Science and Technology  
  • Kyushu University
    Faculty of Information Science and Electrical EngineeringDepartment of Advanced Information Technology  

  • <
  • >