Towards a Tool Kit for the Automatic Generation of Interprocedural Data Flow Analyses (1994)
by
Jens Knoop
,
Oliver Rüthing
,
Bernhard Steffen
| Citations: | 15 - 5 self |







