Statistics
Publications
1
Citations
22
H-Index
1
Active since
2016
Affiliations
University of Southampton(Current)
Shunsuke Shimizu is an author at University of Southampton specializing in formal methods, algorithms, and model checking.
Publications per year
2016–2016
1
1
1–1 of 1