Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Aidin Rasti
conf.researchr.org general profile
MODELS 2022 profile
Registered user since Thu 29 Sep 2022
Name:
Aidin Rasti
Country:
Canada
Affiliation:
University of Ottawa
Contributions
MODELS 2022
Author of SYMBOLEO2SC: From Legal Contract Specifications to Smart Contracts within the Posters-track
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 Technical Track-track
Share
x
Sun 5 Feb 09:30