Smart Contract Interactions in Coq.

Jakob Botsch Nielsen Bas Spitters

Published in: CoRR (2019)

Keyphrases

formal methods
databases
information retrieval
decision making
knowledge base
website
data structure
artificial neural networks
theorem prover
smart grid
transaction costs
ubiquitous environments