Solidity

swMATH30784MaRDI QIDQ42498FDOQ42498

Author name not available (Why is that?)

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

Cited In (3)

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

This page was built for software: Solidity