Ikram Garfatta, Kaïs Klai, Walid Gaaloul. Integrating Business Process Context into Solidity-to-CPN Formal Verification. In 32nd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2024, Reggio Emilia, Italy, June 26-28, 2024. pages 68-73, IEEE, 2024. [doi]
Abstract is missing.