ECOOP 2015 (series) / Reza Ahmadi
Registered user since Mon 24 Nov 2014
Name:Reza Ahmadi
Country:Iran
Affiliation:University of Tampere
Research interests:software verification, programming languages, software engineering
Contributions
FTfJP 2015 | Automatic Verification of Dafny Programs with Traits | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ECOOP 2015-profile
View general profile
View general profile