The Interprocedural Coincidence Theorem (1992)

by Jens Knoop, Bernhard Steffen
Venue:In Int. Conf. on Comp. Construct