Sign in

Precondition Inference from Intermittent Assertions and Application to Contracts on Collections.

Patrick CousotRadhia CousotFrancesco Logozzo
Published in: VMCAI (2011)
Keyphrases
  • supply chain
  • information retrieval
  • knowledge base
  • multiscale
  • digital libraries
  • graphical models