SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart Contracts (Tool andPaper)

von Jain, Namrata
Veröffentlicht in International Conference on Software Engineering and Formal Methods (20. : 2022 : Berlin) Software engineering and formal methods (2022)