September 9, 2025· Lecture notes in computer science
conference-paper
Verifying Smart Contracts in Yul via Transformation to CHC by Interpreter Specialization
Authors:Elvira AlbertEmanuele De AngelisFabio FioravantiAlejandro Hernández-Cerezo *Giulia Matricardi *
Abstract
No abstract metadata is available for this record.
Community
0 commentsUse Connect Wallet in the navigation
No discussion yet
Be the first to share a question or observation.