Abstraction Refinement for Termination (2005)

by Byron Cook , Andreas Podelski , Andrey Rybalchenko
Venue:IN SAS’2005: STATIC ANALYSIS SYMPOSIUM, VOLUME 3672 OF LNCS
Citations:61 - 14 self