Automated Verification of Electrum Wallet

Authors:

Publisher website

31 August 2016

book chapter
Published by Springer Nature

p. 27-42
DOI:10.1007/978-3-662-53357-4_3

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit: