Quentin Stiévenart

Registered user since Sun 30 Oct 2016

Name:Quentin Stiévenart
Country:Belgium
Affiliation:Vrije Universiteit Brussel
Research interests:abstract interpretation, concurrency, static analysis

Contributions

VMCAI 2023 Result Invalidation for Incremental Modular Analyses
Show activities from other conferences

Using general profile