SPLASH 2013 (series) / Mehdi Bagherzadeh

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
SPLASH 2013 | Committee Member in Committee within the Student Volunteers-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2013-profile
View general profile
View general profile