Login / Signup

Smart Contract Interactions in Coq.

Jakob Botsch NielsenBas Spitters
Published in: FM Workshops (1) (2019)
Keyphrases
  • smart grid
  • supply chain
  • real time
  • genetic algorithm
  • formal methods
  • human interactions
  • contract net protocol