Registered user since Thu 15 May 2014

Name: Mehdi Bagherzadeh

Country: United States

Affiliation: Oakland University

Personal website: https://mbagherz.bitbucket.io/

Research interests: Correct software construction at the intersection of Programming Languages, Formal Methods and Software Engineering

Contributions