Result Invalidation for Incremental Modular Analyses

Activity: Talk or presentationTalk or presentation at a conference

Period16 Jan 2023
Event title24th International Conference on Verification, Model Checking, and Abstract Interpretation
Event typeConference
LocationBoston, United States, Massachusetts