Login / Signup
Lies Lakhdar-Chaouch
Publication Activity (10 Years)
Years Active: 2011-2011
Publications (10 Years): 0
</>
Publications
</>
Lies Lakhdar-Chaouch
,
Bertrand Jeannet
,
Alain Girault
Widening with Thresholds for Programs with Complex Control Graphs.
ATVA
(2011)