Statistics
Publications
1
Citations
12
H-Index
1
Active since
2015
Affiliations
Tokyo Institute of Technology(Current)
Takuma Ichinose is an author at Tokyo Institute of Technology specializing in computer science, formal verification, and computing.
Publications per year
2015–2015
1
1
1–1 of 1