Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Reza Ahmadi
conf.researchr.org general profile
ECOOP 2015 profile
MODELS 2023 profile
Registered user since Mon 24 Nov 2014
Name:
Reza Ahmadi
Contributions
2023
MODELS
Author of Leveraging modeling concepts and techniques to address challenges in network management within the Technical Track-track
2015
FTfJP
Author of Automatic Verification of Dafny Programs with Traits within the FTfJP-track
Share
x
Sun 22 Dec 02:41