Zeinab Nehaï, François Bobot, Sara Tucci Piergiovanni, Carole Delporte-Gallet, Hugues Fauconnier. A TLA+ Formal Proof of a Cross-Chain Swap. In ICDCN '22: 23rd International Conference on Distributed Computing and Networking, Delhi, AA, India, January 4 - 7, 2022. pages 148-159, ACM, 2022. [doi]
@inproceedings{NehaiBPDF22,
title = {A TLA+ Formal Proof of a Cross-Chain Swap},
author = {Zeinab Nehaï and François Bobot and Sara Tucci Piergiovanni and Carole Delporte-Gallet and Hugues Fauconnier},
year = {2022},
doi = {10.1145/3491003.3491006},
url = {https://doi.org/10.1145/3491003.3491006},
researchr = {https://researchr.org/publication/NehaiBPDF22},
cites = {0},
citedby = {0},
pages = {148-159},
booktitle = {ICDCN '22: 23rd International Conference on Distributed Computing and Networking, Delhi, AA, India, January 4 - 7, 2022},
publisher = {ACM},
isbn = {978-1-4503-9560-1},
}