Solidity

swMATH30784MaRDI QIDQ42498FDOQ42498

Author name not available (Why is that?)

Official website: https://solidity.readthedocs.io/en/develop/

Source code repository: https://github.com/ethereum/solidity/blob/develop/docs/index.rst

Cited In (5)

• Synthesizing precise and useful commutativity conditions
• Automatic generation of precise and useful commutativity conditions
• Blockchain-based two-party fair contract signing scheme
• PBC Library
• Servois

This page was built for software: Solidity