Path invariants (2007)

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