• Sign in
  • Sign up
conf.researchr.org / Aidin Rasti
  • MODELS 2022 profile

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
Share
xSun 7 Sep 07:58
using conf.researchr.org (v1.70.0)
Support page
Sign Up