Automata-Theoretical Approach to Interprocedural Data-Flow Analysis (1999)

by J Esparza, “An J Knoop
Venue:FOSSACS ’99, Vol.1578 of LNCS