Efficient Static Analysis of Marlowe Contracts.

Pablo Lamela Seijas, David Smith, Simon J. Thompson

Browse the full ISoLA paper archive.