Registered user since Tue 4 Apr 2017

Name:Yuki Nishida
Country:Japan
Affiliation:Tohoku University
Research interests:Type System, Formal Verification, Blockchain

Contributions

Show activities from other conferences

Using general profile