Onward! 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
co-located with SPLASH 2017
Mehdi Bagherzadeh

Registered user since Thu 15 May 2014

Name:Mehdi Bagherzadeh
Country:United States
Affiliation:Oakland University
Research interests:Correct software construction at the intersection of Programming Languages, Formal Methods and Software Engineering

Contributions

AGERE 2017 Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency
Show activities from other conferences

SPLASH 2017-profile
View general profile