PDF:
solc-verify: A Modular Verifier for Solidity Smart Contracts
| Cím | solc-verify: A Modular Verifier for Solidity Smart Contracts |
| Közlemény típusa | Book Chapter |
| Kiadás éve | 2020 |
| Szerzők | Hajdu, Á., and Jovanović, D. |
| Könyvcím | Verified Software. Theories, Tools, and Experiments |
| Sorozatcím | Lecture Notes in Computer Science |
| Kötet | 12301 |
| Pagination | 161--179 |
| Kiadó | Springer |
| Város | New York City, USA |
| URL | https://link.springer.com/chapter/10.1007/978-3-030-41600-3_11 |
| DOI | 10.1007/978-3-030-41600-3_11 |
