Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sharar Ahmadi
conf.researchr.org general profile
ICSE 2023 profile
SPLASH 2022 profile
Registered user since Wed 7 Sep 2022
Name:
Sharar Ahmadi
Contributions
2023
FormaliSE
Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE 2023-track
2022
FTSCS
Author of Proving Memory Access Violations in Isabelle/HOL within the Formal Techniques for Safety-Critical Systems-track
Share
x
Thu 21 Sep 17:20