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

von Nishida, Yuki
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2021)