Login / Signup
Structured Contracts in the EUTxO Ledger Model.
Polina Vinogradova
Orestis Melkonian
Philip Wadler
Manuel M. T. Chakravarty
Jacco Krijnen
Michael Peyton Jones
James Chapman
Tudor Ferariu
Published in:
FMBC@CAV (2024)
Keyphrases
</>
probabilistic model
data sets
theoretical analysis
computational model
mathematical model
conceptual model
neural network model
formal model
data mining
feature selection
objective function
multi agent
prior knowledge