Registered user since Wed 7 Sep 2022
Name:Sharar Ahmadi
Contributions
| FormaliSE 2023 | Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE 2023-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile
Registered user since Wed 7 Sep 2022
Contributions
| FormaliSE 2023 | Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE 2023-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||