conf.researchr.org / Marco Roveri
Not registered as user
Name:Marco Roveri
Country:Italy
Affiliation:University of Trento
Contributions
2022
MODELS
- 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