Ron van der Meyden. On the specification and verification of atomic swap smart contracts (extended abstract). In IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2019, Seoul, Korea (South), May 14-17, 2019. pages 176-179, IEEE, 2019. [doi]
Abstract is missing.