Quentin Stiévenart

Registered user since Sun 30 Oct 2016

Name:Quentin Stiévenart
Country:Canada
Affiliation:Université du Québec à Montréal
Research interests:abstract interpretation, concurrency, static analysis

Contributions