Name: Izumi Takeuti

Number of Co-Authors: 4

Number of Papers: 1

Publications Years: 2008

Affiliation History: Research Center for Verification and Semantics, Information Technology Research Institute, National Institute of Advanced Industrial Science and Technology, Japan