Result Invalidation for Incremental Modular Analyses.

Jens Van der Plas, Quentin Stivenart, Coen De Roover

Browse the full VMCAI paper archive.