VerX

swMATH43071MaRDI QIDQ5973748FDOQ5973748

Author name not available (Why is that?)

Cited In (4)

• 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
• Holistic Specifications for Robust Programs

This page was built for software: VerX