Program Transformations for Precise Analysis of Enterprise Information Systems. - Shrishti Pradhan; Raveendra Kumar Medicherla; Shivani Kondewar; Ravindra Naik (SANER, 2022)