Ferenczi, Dániel and Tóth, Melinda (2023) Static analysis for safe software upgrade. Annales Mathematicae et Informaticae, 58.. pp. 9-19. ISSN 17876117