Precise Interprocedural Analysis through Linear Algebra (2004)

by Markus Müller-Olm , Helmut Seidl
Citations:82 - 12 self