Towards Contract Modules for the Tezos Blockchain (Short Paper).

Thi Thu Ha Doan, Peter Thiemann

Browse the full CAV paper archive.