Modeling and verifying systems using a logic of counter arithmetic with lambda expressions and uninterpreted functions (0)

by R E Bryant, S K Lahiri, S A Seshia
Venue:In: Computer Aided Verification. Volume 2404 of Lecture Notes in Computer Science., Springer-Verlag (2002) 78–92