DMCA

Fixpoint-guided abstraction refinements (2007)

by Patrick Cousot , Pierre Ganty , Jean-françois Raskin
Venue:In Proc. 14th Int. Symp. on Static Analysis (SAS’07), LNCS
Citations:18 - 1 self