Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Alireza Parvizimosaed
conf.researchr.org general profile
MODELS 2022 profile
Not registered as user yet
Name:
Alireza Parvizimosaed
Country:
Canada
Affiliation:
University of Ottawa
Contributions
MODELS 2022
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
Share
x
Sun 5 Feb 08:47