Solidity

MaRDI QIDQ42498swMATHFDO

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