JAIST Logic@JAIST
Assistant Professor

Keita Yokoyama

Link: Personal webpage
Group: Logic Unit, Research Center for Software Verification