A generic architecture for data ow analysis to support reverse engineering (1997)

by L MOONEN
Venue:In Proceedings of the Second International Workshop on the Theory and Practice of Algebraic Speci cations (ASF+SDF'97