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