Temporal Properties of Smart Contracts.

Ilya Sergey, Amrit Kumar, Aquinas Hobor

Browse the full ISoLA paper archive.