conf.researchr.org / Aidin Rasti
Registered user since Thu 29 Sep 2022
Name:Aidin Rasti
Country:Canada
Affiliation:University of Ottawa
Contributions
2022
MODELS
- 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