Research Interests[higher-order model checking]

Research Interests [ higher-order model checking ]

2 items found

Naoki Kobayashi
The University of Tokyo
The Graduate School of Information Science and Technology
Ryosuke Sato
Kyushu University
Faculty of Information Science and Electrical EngineeringDepartment of Advanced Information Technology