Abstraction refinement for termination

Cached

Download Links

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