Login / Signup
Naïm Moussaoui Remil
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Small Bowel
Imperative Programs
Automatically Detecting
Top Venues
LPAR
</>
Publications
</>
Naïm Moussaoui Remil
,
Caterina Urban
,
Antoine Miné
Automatic Detection of Vulnerable Variables for CTL Properties of Programs.
LPAR
(2024)