Doukmak, Anna

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.

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 Fri Mar 29 04:19:28 2024 CET.
Provide Feedback