An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions
Daniel Kroening and Georg Weissenbacher
Book Title
Proceedings of the 5th Haifa Verification Conference
Editor
Kedar Namjoshi and Andreas Zeller
Location
Haifa‚ Israel
Note
This work was also presented at the UNU IIST seminar in Macau (click here for slides) in January 2010.
Publisher
Springer
Series
LNCS
Year
2010