Boss, Ramon

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

Conference or Workshop Item

Boss, Ramon; Brünnler, Kai; Doukmak, Anna (11 December 2020). Towards Verifying the Bitcoin-S Library In: 2nd Workshop on Formal Methods for Blockchains (FMBC 2020). Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany 10.4230/OASIcs.FMBC.2020.8

This list was generated on Wed Dec 8 03:45:17 2021 CET.
Provide Feedback