Coalition Logic for Specification and Verification of Smart Contract Upgrades.

Rustam Galimullin, Thomas gotnes

Browse the full PRIMA paper archive.