Semantics-based program integration (1988)

by T Reps, S Horwitz
Venue:In Proceedings of the Second European Symposium on Programming ( ESOP '88