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. In: 2nd Workshop on Formal Methods for Blockchain, co-located with CAV'20, 20-21Jul 2020, Los Angeles, CA, USA. . [Conference or Workshop Item] (Published online first) (doi:10.4230/LIPIcs.FMBC.2020.23)

This list was generated on Sun Nov 29 05:36:46 2020 GMT.