Login / Signup
Sohaib Soualah
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 3
Top Topics
Formal Verification
Model Driven Engineering
Natural Deduction
Theorem Prover
Top Venues
ICSOFT
ICSOFT (Selected Papers)
AINA (2)
</>
Publications
</>