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

Patrick Cousot Radhia Cousot Francesco Logozzo

Published in: VMCAI (2011)

Keyphrases

supply chain
information retrieval
knowledge base
multiscale
digital libraries
graphical models