Hiromasa Saito

Identifiers

• name variant Hiromasa Saito 0.60 · backfill

Papers (1)

1. HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types cs.PL · 2021 · author #2

Mentions

• 2108.12971 #2 · arxiv_oai · confidence 0.70 Hiromasa Saito

Frequent Coauthors

• Akira Kawata 1 shared papers
• Atsushi Igarashi 1 shared papers
• Jun Furuse 1 shared papers
• Kohei Suenaga 1 shared papers
• Ran Chen 1 shared papers
• Yuki Nishida 1 shared papers