Items where Author / Artist / Editor is "Marmsoler, Diego"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

Conference or Workshop Item

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Nestmann, Uwe (2020) Inter-blockchain protocols with the Isabelle Infrastructure framework. Bernardo, Bruno and Marmsoler, Diego, eds. 2nd Workshop on Formal Methods for Blockchain (FMBC 2020). In: 2nd Workshop on Formal Methods for Blockchain, co-located with CAV'20, 20-21Jul 2020, Los Angeles, CA, USA. ISBN 9783959771696. ISSN 2190-6807 [Conference or Workshop Item] (doi:10.4230/OASIcs.FMBC.2020.11)

This list was generated on Mon Dec 6 06:06:57 2021 GMT.