APLAS 2020 (series) / Hiromasa Saito
Registered user since Mon 30 Nov 2020
Name: Hiromasa Saito
Country: Japan
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