Skip to main content
FORMAL METHODS FOR BLOCKCHAINS. INTERNATIONAL WORKSHOP. 7TH 2026. (FMBC 2026)
- Item #:
- 085563
- UPC:
Details
-
Title:
7th International Workshop on Formal Methods for Blockchains (FMBC 2026)
-
Date/Location:
Held 11 April 2026, Turin, Italy.
-
Series:
Open Access Series in Informatics Volume 142
-
Editor:
Bartoletti, M. and Marmsoler, D.
-
ISBN:
9798331337124
-
Pages:
126 (1 Vol) (approx)
-
Format:
Softcover
-
Publisher:
Schloss Dagstuhl
-
POD Publisher:
Curran Associates, Inc. ( Jul 2026 )
-
Title:
7th International Workshop on Formal Methods for Blockchains (FMBC 2026)
-
Date/Location:
Held 11 April 2026, Turin, Italy.
-
Series:
Open Access Series in Informatics Volume 142
-
Editor:
Bartoletti, M. and Marmsoler, D.
-
ISBN:
9798331337124
-
Pages:
126 (1 Vol) (approx)
-
Format:
Softcover
-
Publisher:
Schloss Dagstuhl
-
POD Publisher:
Curran Associates, Inc. ( Jul 2026 )