ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic

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 2015Author of Automatic Verification of Dafny Programs with Traits within the FTfJP-track
Show activities from other conferences

ECOOP 2015-profile
View general profile