%0 Journal Article
%A Dániel Ferenczi
%A Melinda Tóth
%T Static analysis for safe software upgrade
%J Annales mathematicae et informaticae
%D 2023
%P 9-19
%V 58
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.33039/ami.2023.08.010/
%R 10.33039/ami.2023.08.010
%G en
%F AMI_2023_58_a1