Abstract Interpretation with Specialized Definitions (2006)

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