FORMAL METHODS FOR BLOCKCHAINS. INTERNATIONAL WORKSHOP. 7TH 2026. (FMBC 2026)

Item #:
085563
Our Price: $100.00
Adding to cart… The item has been added

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 )

Description

 

Members/Attendees

 

Tab 4

 
  • 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 )