Cover von 6th International Workshop on Formal Methods for Blockchains opens in new tab

6th International Workshop on Formal Methods for Blockchains

FMBC 2025, May 4, 2025, Hamilton, Canada
Search for this author
Year: 2025
Publisher: Berlin, Springer
Series: OpenAccess Series in Informatics; 129
Media group: OASICS
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: online only Location 2: ELECTRONIC EDITION Location 3: Status: OpenAccess

Content

International Workshop on Formal Methods for Blockchains <6, 2025, Hamilton>

Details

Search for this author
Year: 2025
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-95977-371-3
ISBN (2nd): 3-95977-371-4
Series: OpenAccess Series in Informatics; 129
Participating parties: Search for this character Marmsoler, Diego; Xu, Meng
Media group: OASICS