• Sign in
  • Sign up
conf.researchr.org / Reza Ahmadi
  • ECOOP 2015 profile
  • MODELS 2023 profile
No Photo

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
xTue 20 May 07:30
using conf.researchr.org (v1.69.0)
Support page
Sign Up