Login / Signup
Lamia Eljadiri
ORCID
Publication Activity (10 Years)
Years Active: 2016-2018
Publications (10 Years): 4
Top Topics
Qualitative And Quantitative
Symbolic Execution
Uncertain Information
Imperative Programs
Top Venues
ICSDE
AICCSA
WINCOM
</>
Publications
</>