PDF:
SMT-Friendly Formalization of the Solidity Memory Model
| Cím | SMT-Friendly Formalization of the Solidity Memory Model |
| Közlemény típusa | Book Chapter |
| Kiadás éve | 2020 |
| Szerzők | Hajdu, Á., and Jovanović, D. |
| Könyvcím | European Symposium on Programming |
| Sorozatcím | Lecture Notes in Computer Science |
| Kötet | 12075 |
| Pagination | 224--250 |
| Kiadó | Springer |
| URL | https://link.springer.com/chapter/10.1007/978-3-030-44914-8_9 |
| DOI | 10.1007/978-3-030-44914-8_9 |
