Realizability Checking of Contracts with Kind 2.

Daniel Larraz Cesare Tinelli

Published in: CoRR (2022)

Keyphrases

supply chain
real time
feature selection
moral hazard
databases
information retrieval
multiscale
data structure
feature space
mobile devices