DMCA

Proving non-termination (2008)

by Ashutosh K. Gupta , Thomas A. Henzinger , Rupak Majumdar , Andrey Rybalchenko , Ru-gang Xu
Venue:In POPL
Citations:46 - 7 self