Abstraction refinement for termination

by Byron Cook , Andreas Podelski , Andrey Rybalchenko
Venue:In Proceedings of the 12 th International Static Analysis Symposium
Citations:62 - 13 self