Result Invalidation for Incremental Modular Analyses

Jens Van der Plas, Quentin Stiévenart, Coen De Roover

Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

2 Citations (Scopus)

Search results