Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts.

Bruno Bernardo Raphaël Cauderlier Zhenlei Hu Basile Pesin Julien Tesson

Published in: FM Workshops (1) (2019)

Keyphrases

mutual information
conceptual framework
databases
real world
feature selection
image sequences
support vector
artificial neural networks
software engineering
computational model
theoretical framework