Statistics of Contingent Payments on a Public Ledger: Models and Reductions for Automated Verification.

Contact ORBilu