Invariant synthesis for combined theories (2007)

by D Beyer, T A Henzinger, R Majumdar, A Rybalchenko
Venue:In Proc. of the 8th International Conference on Verification, Model Checking, and Abstract Interpretation