Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Marco Roveri
conf.researchr.org general profile
MODELS 2022 profile
Not registered as user yet
Name:
Marco Roveri
Country:
Italy
Affiliation:
University of Trento
Contributions
MODELS 2022
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
Author of Model-Checking Legal Contracts with SymboleoPC within the Technical Track-track
Share
x
Sun 5 Feb 08:29