SPLASH 2024 (series) / Yuki Nishida
Registered user since Tue 4 Apr 2017
Name:Yuki Nishida
Country:Japan
Affiliation:Tohoku University
Research interests:Type System, Formal Verification, Blockchain
Contributions
2024
Using general profile
Registered user since Tue 4 Apr 2017
Contributions