A Minimal Core Calculus for Solidity Contracts.

Massimo Bartoletti Letterio Galletta Maurizio Murgia

Published in: DPM/CBT@ESORICS (2019)

Keyphrases

unsatisfiable cores
supply chain
formal language
data sets
databases
neural network
data mining
machine learning
information systems
website
data structure
computer algebra