Nadim Kobeissi, Natalia Kulatova. Ledger Design Language: Towards Formal Reasoning and Implementation for Public Ledgers. IACR Cryptology ePrint Archive, 2018:416, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.