A Logic-Based Approach to Reverse Engineering Tools Production

Gerardo Canfora, Aniello Cimitile, Ugo de Carlini. A Logic-Based Approach to Reverse Engineering Tools Production. IEEE Trans. Software Eng., 18(12):1053-1064, 1992. [doi]

Abstract

Abstract is missing.