FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Formal Design, Implementation and Verification of Blockchain Languages

Author: Grigore Rosu

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Formal Design, Implementation and Verification of Blockchain Languages
Authors:Grigore Rosu
Proceedings:FSCD Presented Papers
Editor: Helene Kirchner
Keywords:
Abstract:
Pages:6
Paper: