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

Ramon Boss, Kai Brnnler, Anna Doukmak

Browse the full CAV paper archive.