Hamed Nemati -

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