Registered user since Sun 30 Oct 2016

Name: Quentin Stiévenart

Country: Belgium

Affiliation: Vrije Universiteit Brussel

Personal website: https://soft.vub.ac.be/~qstieven

Research interests: abstract interpretation, concurrency, static analysis

Contributions