APLAS 2020 (series) / Yuki Nishida
Registered user since Tue 4 Apr 2017
Name:Yuki Nishida
Affiliation:Kyoto University
Contributions
APLAS 2020 | Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
APLAS 2020-profile
View general profile
View general profile