Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Luigi Logrippo
conf.researchr.org general profile
MODELS 2022 profile
Not registered as user yet
Name:
Luigi Logrippo
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 Technical Track-track
Author of SYMBOLEO2SC: From Legal Contract Specifications to Smart Contracts within the Posters-track
Share
x
Sun 5 Feb 09:37