conf.researchr.org / Luigi Logrippo
Not registered as user
Name:Luigi Logrippo
Country:Canada
Affiliation:University of Ottawa
Contributions
2022
MODELS
- 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