Andrea Pinna 0002, Roberto Tonelli. On the use of Petri Nets in Smart Contracts modeling, generation and verification. In IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2022, Honolulu, HI, USA, March 15-18, 2022. pages 1207-1211, IEEE, 2022. [doi]
Abstract is missing.