Scholar
Kokichi FUTATSUGI
Google Scholar ID: v8q9HiEAAAAJ
Professor of Computer Science, JAIST
Formal Methods
Software Engineering
System Verification
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
527
H-index
11
i10-index
13
Publications
20
Co-authors
0
