Abstraction refinement for termination (0)

by B Cook, A Podelski, A Rybalchenko
Venue:In Proceedings of the 12 th International Static Analysis Symposium