Result Invalidation for Incremental Modular Analyses

von Plas, Jens Van der
Veröffentlicht in VMCAI (24. : 2023 : Boston) Verification, model checking, and abstract interpretation (2023)