Back to Search
Start Over
SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart Contracts (Tool Paper)
- Source :
- Software Engineering and Formal Methods ISBN: 9783031171079
- Publication Year :
- 2022
- Publisher :
- Springer International Publishing, 2022.
Details
- ISBN :
- 978-3-031-17107-9
- ISBNs :
- 9783031171079
- Database :
- OpenAIRE
- Journal :
- Software Engineering and Formal Methods ISBN: 9783031171079
- Accession number :
- edsair.doi...........95b1ecef0352ef6c3af9671ae6335c34
- Full Text :
- https://doi.org/10.1007/978-3-031-17108-6_15