Akira Kawata is an author at Kyoto University specializing in optical properties, applied physics, and engineering.
Publications per year
2021–2022
2
2
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types
Yuki Nishida, Hiromasa Saito, Ran Chen et al. · New Generation Computing · 2022 · 10 citations · Full text
Rows per page
1–2 of 2