Formalizing Correct-by-Construction Casper in Coq
In: IEEE International Conference on Blockchain and Cryptocurrency (ICBC); (2020-05-01) S. 1-3
Konferenz
Zugriff:
Titel: |
Formalizing Correct-by-Construction Casper in Coq
|
---|---|
Autor/in / Beteiligte Person: | Li, Elaine ; Serbanuta, Traian ; Diaconescu, Denisa ; Zamfir, Vlad ; Rosu, Grigore |
Quelle: | IEEE International Conference on Blockchain and Cryptocurrency (ICBC); (2020-05-01) S. 1-3 |
Veröffentlichung: | 2020 |
Medientyp: | Konferenz |
ISBN: | 978-1-7281-6680-3 (print) |
DOI: | 10.1109/ICBC48266.2020.9169468 |
Sonstiges: |
|