Path invariants (2007)

by D Beyer, T A Henzinger, R Majumdar, A Rybalchenko
Venue:In Proc. PLDI