Statistics
Publications
1
Citations
16
H-Index
1
Active since
1997
Affiliations
University of Tsukuba(Current)
Koichi Nakahara is an author at University of Tsukuba specializing in automated reasoning, program analysis, and formal methods.
Publications per year
1997–1997
1
1
1–1 of 1