DMCA

Path invariants (2007)

by Dirk Beyer , Thomas A. Henzinger , Rupak Majumdar , Andrey Rybalchenko
Venue:In PLDI
Citations:50 - 6 self