Statistics
Publications
1
Citations
110
H-Index
1
Active since
1977
Affiliations
The University of Tokyo(Current)
Kiyoshi Ishihata is an author at The University of Tokyo specializing in automated reasoning, formal methods, and engineering.
Publications per year
1977–1977
1
1
Implementation of an array bound checker
Norihisa Suzuki, Kiyoshi Ishihata · 1977 · 110 citations
1–1 of 1