Skip to main content
FORMAL METHODS FOR BLOCKCHAINS. WORKSHOP. 2ND 2020. (FMBC 2020)
- Item #:
- 057492
- UPC:
Details
-
Title:
2nd Workshop on Formal Methods for Blockchains (FMBC 2020)
-
Date/Location:
Held 20-21 July 2020, Los Angeles, California, USA.
-
Series:
Open Access Series in Informatics Volume 84
-
Editor:
Bernardo, B. et al.
-
ISBN:
9781713822721
-
Pages:
124 (1 Vol) (approx)
-
Format:
Softcover
-
Publisher:
Schloss Dagstuhl
-
POD Publisher:
Curran Associates, Inc. ( May 2022 )
-
Title:
2nd Workshop on Formal Methods for Blockchains (FMBC 2020)
-
Date/Location:
Held 20-21 July 2020, Los Angeles, California, USA.
-
Series:
Open Access Series in Informatics Volume 84
-
Editor:
Bernardo, B. et al.
-
ISBN:
9781713822721
-
Pages:
124 (1 Vol) (approx)
-
Format:
Softcover
-
Publisher:
Schloss Dagstuhl
-
POD Publisher:
Curran Associates, Inc. ( May 2022 )