Checking Herbrand Equalities and Beyond

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-540-30579-8_6 ◽

2005 ◽

pp. 79-96 ◽

Author(s):

Markus Müller-Olm ◽

Oliver Rüthing ◽

Helmut Seidl

Download Full-text