Work

Ledger Design Language: Towards Formal Reasoning and Implementation for Public Ledgers.

Year: 2018

Type: preprint

Source: IACR Cryptology ePrint Archive

Authors: Nadim Kobeissi, Natalia Kulatova

Language: English

Topic: Blockchain Technology Applications and Security

Subfield: Information Systems

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2810686355

Cites:

Cited by:

Related to: 10