Making Tezos Smart Contracts More Reliable with Coq.

Bruno Bernardo, Raphal Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson

Browse the full ISoLA paper archive.