Val Tannen, University of Pennsylvania
21 Février 2020, 10:00-11:00
ENS, S16
Provenance Analysis for First-order Model Checking
Val Tannen, University of Pennsylvania
21 Février 2020, 10:00-11:00
ENS, S16
Provenance Analysis for First-order Model Checking