Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Hamed Nemati
conf.researchr.org general profile
ICSE 2021 profile
POPL 2019 profile
Registered user since Wed 10 Feb 2021
Name:
Hamed Nemati
Affiliation:
CISPA
Contributions
ICSE 2021
Author of Replication package for Input Algebras within the AE - Artifact Evaluation-track
Author of Input Algebras within the Technical Track-track
PriSC 2019
Author of Confidentiality-Preserving Refinement within the PriSC 2019-track
Share
x
Fri 1 Jul 22:39