Login / Signup
Soraya Mesli-Kesraoui
ORCID
Publication Activity (10 Years)
Years Active: 2016-2024
Publications (10 Years): 4
Top Topics
Model Checker
Formal Verification
Software Systems
Metamodel
Top Venues
ECSA
MoDELS
WISTP
CCTA
</>
Publications
</>