Integrating Business Process Context into Solidity-to-CPN Formal Verification.

Ikram Garfatta, Kas Klai, Walid Gaaloul

Browse the full WETICE paper archive.