Andreas Veneris |https://aronlaszka.com/authors/andreas-veneris/Andreas VenerisHugoBlox 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>Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolidhttps://aronlaszka.com/publications/nelaturu2020verified/Fri, 01 May 2020 00:00:00 +0000https://aronlaszka.com/publications/nelaturu2020verified/<p class="text-base"><strong>Acceptance Rate:</strong> 22%</p>