Temporal Aspects of Smart Contracts for Financial Derivatives.

Christopher D. Clack, Gabriel Vanca

Browse the full ISoLA paper archive.