PDF:
SMT-Friendly Formalization of the Solidity Memory Model
| Title | SMT-Friendly Formalization of the Solidity Memory Model |
| Publication Type | Book Chapter |
| Year of Publication | 2020 |
| Authors | Hajdu, Á., and Jovanović, D. |
| Book Title | European Symposium on Programming |
| Series Title | Lecture Notes in Computer Science |
| Volume | 12075 |
| Pagination | 224--250 |
| Publisher | Springer |
| URL | https://link.springer.com/chapter/10.1007/978-3-030-44914-8_9 |
| DOI | 10.1007/978-3-030-44914-8_9 |
