Context-Sensitive Multivariant Assertion Checking in Modular Programs | Publicación