Statistics
Publications
1
Citations
16
H-Index
1
Active since
2020
Affiliations
University of Tsukuba(Current)
Hinata Yanagi is an author at University of Tsukuba specializing in formal verification, engineering, and automated reasoning.
Publications per year
2020–2020
1
1