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