Fixpoint-guided abstraction refinements (0)

by P Cousot, P Ganty, J F Raskin
Venue:In SAS’07