Concepedia
Statistics
Publications
1
Citations
25
H-Index
Active since
1995
Takahiro Suzuki is an author specializing in software construction, formal methods, and deductive verification.
Publications per year
1995–1995
New HELIC-II
Katsumi Nitta, M. Shibasaki, Tsuyoshi Sakata et al. · 1995 · 25 citations · Full text
Computing, Computer Engineering, Computer Science +6
1–1 of 1