Toggle navigation
Sign in
Sign up
conf.researchr.org
/
John Mylopoulos
conf.researchr.org general profile
* ICSE 2018 * profile
MODELS 2022 profile
Not registered as user
Name:
John Mylopoulos
Affiliation:
University of Trento
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
2018
International Conference on Software Engineering for Adaptive and Self-Managing Systems
Committee Member in Program Committee within the SEAMS 2018-track
Committee Member in Steering Committee within the SEAMS 2018-track
Share
x
Sat 21 Dec 18:04