Precise Interprocedural Analysis through Linear Algebra (2004)

by Markus Müller-Olm , Helmut Seidl
Citations:60 - 9 self