FORMAL METHODS FOR BLOCKCHAINS. INTERNATIONAL WORKSHOP. 6TH 2025. (FMBC 2025)

FORMAL METHODS FOR BLOCKCHAINS. INTERNATIONAL WORKSHOP. 6TH 2025. (FMBC 2025)

Item #:
080414
Our Price: $115.00
Adding to cart… The item has been added

Details

  • Title: 6th International Workshop on Formal Methods for Blockchains (FMBC 2025)
  • Date/Location: Held 4 May 2025, Hamilton, Canada.
  • Series: Open Access Series in Informatics Volume 129
  • Editor: Marmsoler, D. and Xu, M.
  • ISBN: 9798331320508
  • Pages: 224 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Jun 2025 )

Description

 

Members/Attendees

 

Tab 4

 
  • Title: 6th International Workshop on Formal Methods for Blockchains (FMBC 2025)
  • Date/Location: Held 4 May 2025, Hamilton, Canada.
  • Series: Open Access Series in Informatics Volume 129
  • Editor: Marmsoler, D. and Xu, M.
  • ISBN: 9798331320508
  • Pages: 224 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Jun 2025 )