Login / Signup
Lior Libis
Publication Activity (10 Years)
Years Active: 2009-2009
Publications (10 Years): 0
2025
2016
</>
Publications
</>
Alon Gluska
,
Lior Libis
Shortening the verification cycle with synthesizable abstract models.
DAC
(2009)