Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts. - Bruno Bernardo; Raphaël Cauderlier; Zhenlei Hu; Basile Pesin; Julien Tesson (FM Workshops (1), 2019)