A minimal core calculus for Solidity contracts.

Massimo Bartoletti Letterio Galletta Maurizio Murgia

Published in: CoRR (2019)

Keyphrases

unsatisfiable cores
supply chain
artificial intelligence
similarity measure
database
data sets
neural network
website
multiscale
coalitional games