conf.researchr.org / Alireza Parvizimosaed
Not registered as user
Name:Alireza Parvizimosaed
Country:Canada
Affiliation:University of Ottawa
Contributions
2022
MODELS
- Author of Model-Checking Legal Contracts with SymboleoPC within the Technical Track-track
- Author of SYMBOLEO2SC: From Legal Contract Specifications to Smart Contracts within the Posters-track
- Author of Symboleo2SC: From Legal Contract Specifications to Smart Contracts within the Technical Track-track