Sufficient Preconditions for Modular Assertion Checking.

Yannick Moy

Browse the full VMCAI paper archive.