Hiromasa Saito

According to our database, Hiromasa Saito authored at least 1 paper in 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types.

Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021