Sign in

Realizability Checking of Contracts with Kind 2.

Daniel LarrazCesare Tinelli
Published in: CoRR (2022)
Keyphrases
  • supply chain
  • real time
  • feature selection
  • moral hazard
  • databases
  • information retrieval
  • multiscale
  • data structure
  • feature space
  • mobile devices