Login / Signup
A Mechanically Verified Theory of Contracts.
Stéphane Kastenbaum
Benoît Boyer
Jean-Pierre Talpin
Published in:
CoRR (2021)
Keyphrases
</>
theoretical framework
supply chain
computational model
information theory
probability theory
principal agent
website
database systems
general theory
formal theory