search result

Cover von Formally Specifying Contract Optimizations with Bisimulations in Coq

Formally Specifying Contract Optimizations with Bisimulations in Coq

Year: 2025
Media group: OASICS
Cover von Towards Formally Specifying and Verifying Smart Contract Upgrades in Coq

Towards Formally Specifying and Verifying Smart Contract Upgrades in Coq

Year: 2024
Media group: OASICS
OPEN V 11.1.0.0