Nadim Kobeissi, Natalia Kulatova. Ledger Design Language: Towards Formal Reasoning and Implementation for Public Ledgers. IACR Cryptology ePrint Archive, 2018:416, 2018. [doi]
@article{KobeissiK18, title = {Ledger Design Language: Towards Formal Reasoning and Implementation for Public Ledgers}, author = {Nadim Kobeissi and Natalia Kulatova}, year = {2018}, url = {https://eprint.iacr.org/2018/416}, researchr = {https://researchr.org/publication/KobeissiK18}, cites = {0}, citedby = {0}, journal = {IACR Cryptology ePrint Archive}, volume = {2018}, pages = {416}, }