Toggle navigation
Sign in
Sign up
conf.researchr.org
/
John Mylopoulos
conf.researchr.org general profile
ICSE 2025 profile
MODELS 2022 profile
Not registered as user
Name:
John Mylopoulos
Contributions
2025
RAISE
Author of Towards the LLM-Based Generation of Formal Specifications from Natural-Language Contracts: Early Experiments with Symboleo within the Requirements Engg. for AI-Powered SW-track
2022
MODELS
Author of SYMBOLEO2SC: From Legal Contract Specifications to Smart Contracts within the Posters-track
Share
x
Sat 5 Apr 13:38
