Emmanouela Stachtiari |https://aronlaszka.com/authors/emmanouela-stachtiari/Emmanouela StachtiariHugoBlox Kit (https://hugoblox.com)en-usSat, 01 Jul 2023 00:00:00 +0000Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts with VeriSolidhttps://aronlaszka.com/publications/nelaturu2023correct/Sat, 01 Jul 2023 00:00:00 +0000https://aronlaszka.com/publications/nelaturu2023correct/<p class="text-base"><strong>Impact Factor:</strong> 7</p>VeriSolid: Correct-by-Design Smart Contracts for Ethereumhttps://aronlaszka.com/publications/mavridou2019verisolid/Fri, 01 Feb 2019 00:00:00 +0000https://aronlaszka.com/publications/mavridou2019verisolid/<p class="text-base"><strong>Acceptance Rate:</strong> 22%</p>