Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions.

Csar Snchez, Gerardo Schneider, Martin Leucker

Browse the full ISoLA paper archive.