![]() | Up a level |
Brünnler, Kai; Flumini, Dandolo; Studer, Thomas (2020). A logic of blockchain updates Journal of Logic and Computation, 30(8), pp. 1469-1485. Oxford University Press https://doi.org/10.1093/logcom/exaa045
Brünnler, Kai (2018). Blockchain: kurz & gut O'Reillys Taschenbibliothek. Heidelberg: O'Reilly
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
Brünnler, Kai; Flumini, Dandolo; Studer, Thomas (2018). A Logic of Blockchain Updates In: Logical Foundations of Computer Science. Deerfield Beach, FL / USA. 8-11.1.2018.