Abstract Interpretation with Specialized Definitions (2006)

by Germán Puebla , Elvira Albert , Manuel Hermenegildo
Venue:In Proc. of SAS’06, LNCS
Citations:9 - 8 self