VerX
From MaRDI portal
Software:5973748
No author found.
Related Items (4)
Holistic Specifications for Robust Programs ⋮ A lightweight approach to smart contracts supporting safety, security, and privacy ⋮ Compositional verification of smart contracts through communication abstraction ⋮ How to exploit a DeFi project
This page was built for software: VerX
