An Interpolating Decision Procedure for Transitive Relations with Uninterpreted Functions
Daniel Kroening and Georg Weissenbacher
Details
| 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 |
Links
Related pages
|
People |