A Mechanically Verified Theory of Contracts.

Stéphane Kastenbaum Benoît Boyer Jean-Pierre Talpin

Published in: ICTAC (2021)

Keyphrases

theoretical basis
website
supply chain
theoretical framework
database
real time
databases
learning algorithm
case study
user interface
theoretical foundation
decision theory
general theory
mathematical foundations
principal agent