Towards Verifying the Bitcoin-S Library (Short Paper).

Ramon Boss Kai Brünnler Anna Doukmak

Published in: FMBC@CAV (2020)

Keyphrases

data sets
search algorithm
credit card
database
neural network
computer vision
multimedia
three dimensional