loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Izumi Takeuti

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

Papers:

Sort by

Proceedings: