Login / Signup
Dima Elenbogen
Publication Activity (10 Years)
Years Active: 2012-2015
Publications (10 Years): 1
Top Topics
Knowledge Representation
Fixpoint
Automatic Programming
Video Sequences
Top Venues
Formal Methods Syst. Des.
Haifa Verification Conference
</>
Publications
</>
Dima Elenbogen
,
Shmuel Katz
,
Ofer Strichman
Proving mutual termination.
Formal Methods Syst. Des.
47 (2) (2015)
Dima Elenbogen
,
Shmuel Katz
,
Ofer Strichman
Proving Mutual Termination of Programs.
Haifa Verification Conference
(2012)